Skip to content

Actions: leanprover-community/leanprover-community.github.io

Actions

check bib

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bibtool.yml
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix ABKNT_2024 check bib #25: Pull request #572 opened by riccardobrasca
January 9, 2025 15:32 35s riccardobrasca:RB/condensed2
riccardobrasca:RB/condensed2
January 9, 2025 15:32 35s
make categorical foundations of condensed mathematics appear in the list of papers check bib #24: Pull request #570 synchronize by dagurtomas
January 9, 2025 08:19 37s dagurtomas:patch-5
dagurtomas:patch-5
January 9, 2025 08:19 37s
make categorical foundations of condensed mathematics appear in the list of papers check bib #23: Pull request #570 opened by dagurtomas
January 9, 2025 08:17 38s dagurtomas:patch-5
dagurtomas:patch-5
January 9, 2025 08:17 38s
add condensedCategorial foundations of formalized condensed mathematics check bib #22: Pull request #569 synchronize by riccardobrasca
January 8, 2025 21:15 39s riccardobrasca:RB/condensed
riccardobrasca:RB/condensed
January 8, 2025 21:15 39s
add condensedCategorial foundations of formalized condensed mathematics check bib #21: Pull request #569 synchronize by riccardobrasca
January 8, 2025 21:12 52s riccardobrasca:RB/condensed
riccardobrasca:RB/condensed
January 8, 2025 21:12 52s
add condensedCategorial foundations of formalized condensed mathematics check bib #20: Pull request #569 synchronize by riccardobrasca
January 8, 2025 21:10 47s riccardobrasca:RB/condensed
riccardobrasca:RB/condensed
January 8, 2025 21:10 47s
add condensedCategorial foundations of formalized condensed mathematics check bib #19: Pull request #569 synchronize by riccardobrasca
January 8, 2025 21:07 36s riccardobrasca:RB/condensed
riccardobrasca:RB/condensed
January 8, 2025 21:07 36s
add condensedCategorial foundations of formalized condensed mathematics check bib #18: Pull request #569 opened by riccardobrasca
January 8, 2025 21:03 36s riccardobrasca:RB/condensed
riccardobrasca:RB/condensed
January 8, 2025 21:03 36s
leanprover.github.io -> lean-lang.org check bib #17: Pull request #553 opened by fpvandoorn
November 21, 2024 14:04 40s lean-url
lean-url
November 21, 2024 14:04 40s
chore: add missing ITP 23 papers check bib #16: Pull request #547 opened by grunweg
November 2, 2024 13:11 45s grunweg:MR-add-itp23
grunweg:MR-add-itp23
November 2, 2024 13:11 45s
chore: add tags to all ITP24 papers check bib #15: Pull request #546 opened by grunweg
November 2, 2024 12:56 41s grunweg:MR-add-tags
grunweg:MR-add-tags
November 2, 2024 12:56 41s
chore(lean.bib): restore comment explaining how to run bibtool check bib #14: Pull request #538 synchronize by grunweg
October 10, 2024 11:55 30s grunweg:patch-3
grunweg:patch-3
October 10, 2024 11:55 30s
chore(lean.bib): restore comment explaining how to run bibtool check bib #13: Pull request #538 synchronize by grunweg
October 10, 2024 11:53 29s grunweg:patch-3
grunweg:patch-3
October 10, 2024 11:53 29s
chore(lean.bib): restore comment explaining how to run bibtool check bib #12: Pull request #538 opened by grunweg
October 10, 2024 11:51 40s grunweg:patch-3
grunweg:patch-3
October 10, 2024 11:51 40s
chore: add papers from ITP 2024 check bib #11: Pull request #537 synchronize by grunweg
October 10, 2024 08:24 29s grunweg:MR-update-papers
grunweg:MR-update-papers
October 10, 2024 08:24 29s
chore: add papers from ITP 2024 check bib #10: Pull request #537 opened by grunweg
October 9, 2024 14:54 33s grunweg:MR-update-papers
grunweg:MR-update-papers
October 9, 2024 14:54 33s
Update entry in lean.bib check bib #9: Pull request #486 synchronize by robertylewis
June 13, 2024 13:11 30s jcommelin-patch-1
jcommelin-patch-1
June 13, 2024 13:11 30s
Update entry in lean.bib check bib #8: Pull request #486 synchronize by jcommelin
June 11, 2024 17:50 30s jcommelin-patch-1
jcommelin-patch-1
June 11, 2024 17:50 30s
Update entry in lean.bib check bib #7: Pull request #486 opened by jcommelin
June 7, 2024 06:46 34s jcommelin-patch-1
jcommelin-patch-1
June 7, 2024 06:46 34s
fixed one name check bib #6: Pull request #438 opened by faenuccio
February 4, 2024 19:18 36s lean4
lean4
February 4, 2024 19:18 36s
add two references and fix one check bib #5: Pull request #437 synchronize by faenuccio
February 4, 2024 10:23 36s fae_added_three_refs
fae_added_three_refs
February 4, 2024 10:23 36s
add two references and fix one check bib #4: Pull request #437 synchronize by faenuccio
February 4, 2024 10:18 28s fae_added_three_refs
fae_added_three_refs
February 4, 2024 10:18 28s
add two references and fix one check bib #3: Pull request #437 synchronize by faenuccio
February 4, 2024 10:06 34s fae_added_three_refs
fae_added_three_refs
February 4, 2024 10:06 34s
add two references and fix one check bib #2: Pull request #437 opened by faenuccio
February 3, 2024 18:38 30s fae_added_three_refs
fae_added_three_refs
February 3, 2024 18:38 30s
Make sure that lean.bib is always normalized check bib #1: Pull request #400 opened by sorawee
November 22, 2023 20:54 29s sorawee:normalize-lean-bib
sorawee:normalize-lean-bib
November 22, 2023 20:54 29s