Skip to content

Actions: leanprover-community/flt-regular

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

.github/workflows/main.yml .github/workflows/main.yml #12: Manually run by CBirkbeck
July 23, 2024 12:05 4m 37s master
master
July 23, 2024 12:05 4m 37s
another mathlib3 bump .github/workflows/main.yml #11: Commit 612d442 pushed by riccardobrasca
October 23, 2023 14:29 3m 40s master_mathlib3
master_mathlib3
October 23, 2023 14:29 3m 40s
another mathlib3 bump .github/workflows/main.yml #10: Commit 612d442 pushed by riccardobrasca
October 17, 2023 08:05 2m 53s master
master
October 17, 2023 08:05 2m 53s
another mathlib3 bump .github/workflows/main.yml #9: Commit 612d442 pushed by riccardobrasca
October 17, 2023 08:05 3m 36s mathlib3
mathlib3
October 17, 2023 08:05 3m 36s
last mathlib3 bump? .github/workflows/main.yml #8: Commit e827331 pushed by riccardobrasca
September 9, 2023 15:19 2m 34s mathlib3
mathlib3
September 9, 2023 15:19 2m 34s
last mathlib3 bump? .github/workflows/main.yml #7: Commit e827331 pushed by riccardobrasca
September 6, 2023 08:44 3m 11s master
master
September 6, 2023 08:44 3m 11s
bump .github/workflows/main.yml #6: Commit 67fb3e1 pushed by riccardobrasca
August 11, 2023 15:05 2m 37s master
master
August 11, 2023 15:05 2m 37s