Skip to content

Actions: leanprover-community/flt-regular

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
150 workflow runs
150 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update lake-manifest.json .github/workflows/push.yml #455: Commit 62f44a1 pushed by riccardobrasca
1h 10m 35s master
master
1h 10m 35s
Replace deprecated NoZeroSMulDivisors.iff_algebraMap_injective with M… .github/workflows/push.yml #454: Commit fdfa994 pushed by riccardobrasca
1m 34s master
master
1m 34s
why not .github/workflows/push.yml #453: Commit a7e8600 pushed by riccardobrasca
1h 9m 4s master
master
1h 9m 4s
shake .github/workflows/push.yml #452: Commit 773a20a pushed by riccardobrasca
5m 14s master
master
5m 14s
chore: bump to v4.27.0 .github/workflows/push.yml #451: Commit 4e2d298 pushed by Ruben-VandeVelde
1h 4m 50s master
master
1h 4m 50s
modulize .github/workflows/push.yml #450: Commit 0bf845b pushed by riccardobrasca
58m 17s master
master
58m 17s
Reorganize CaseII.AuxLemmas a bit .github/workflows/push.yml #449: Commit 6989ffe pushed by Ruben-VandeVelde
1h 8m 11s master
master
1h 8m 11s
bump .github/workflows/push.yml #448: Commit e99cb01 pushed by riccardobrasca
1h 6m 4s master
master
1h 6m 4s
bump .github/workflows/push.yml #447: Commit 61e617e pushed by riccardobrasca
1h 6m 21s master
master
1h 6m 21s
bump .github/workflows/push.yml #446: Commit 08ecf0b pushed by riccardobrasca
1h 7m 49s master
master
1h 7m 49s
bump .github/workflows/push.yml #445: Commit 583f0bf pushed by riccardobrasca
1h 7m 37s master
master
1h 7m 37s
bump .github/workflows/push.yml #444: Commit ef865d4 pushed by riccardobrasca
1h 6m 24s master
master
1h 6m 24s
bump .github/workflows/push.yml #443: Commit fd6f0e3 pushed by riccardobrasca
58m 31s master
master
58m 31s
bump .github/workflows/push.yml #442: Commit e0556e3 pushed by riccardobrasca
1h 6m 6s master
master
1h 6m 6s
chore: add sections for some more upstreamable lemmas .github/workflows/push.yml #441: Commit 06c155a pushed by Ruben-VandeVelde
57m 38s master
master
57m 38s
chore: drop some NeZero assumptions .github/workflows/push.yml #440: Commit c5becb2 pushed by Ruben-VandeVelde
1h 6m 33s master
master
1h 6m 33s
bump .github/workflows/push.yml #439: Commit 90f8114 pushed by riccardobrasca
14m 11s master
master
14m 11s
use grind .github/workflows/push.yml #438: Commit 14b2204 pushed by riccardobrasca
1h 7m 5s master
master
1h 7m 5s
bump .github/workflows/push.yml #437: Commit 80f6240 pushed by riccardobrasca
1h 5m 25s master
master
1h 5m 25s
bump .github/workflows/push.yml #436: Commit 71d6f4f pushed by riccardobrasca
1h 6m 17s master
master
1h 6m 17s
chore: drop unnecessary synthInstance.maxHeartbeats increases .github/workflows/push.yml #435: Commit 31482bb pushed by Ruben-VandeVelde
1h 8m 41s master
master
1h 8m 41s
chore: drop map_two .github/workflows/push.yml #434: Commit 3ac8fdf pushed by Ruben-VandeVelde
1m 14s master
master
1m 14s
chore: drop totient_le_one_dvd_two .github/workflows/push.yml #433: Commit 736537c pushed by Ruben-VandeVelde
3m 49s master
master
3m 49s
chore: drop not_coprime_not_top .github/workflows/push.yml #432: Commit 09eea71 pushed by Ruben-VandeVelde
16m 6s master
master
16m 6s
chore: bump to v4.26.0 .github/workflows/push.yml #431: Commit 05ead6b pushed by Ruben-VandeVelde
1h 7m 18s master
master
1h 7m 18s