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
4 workflow runs
4 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