Skip to content

Actions: leanprover-community/flt-regular

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
126 workflow runs
126 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
ops .github/workflows/push.yml #499: Commit 926f51d pushed by riccardobrasca
11m 56s master
master
11m 56s
bump .github/workflows/push.yml #498: Commit f57aaa4 pushed by riccardobrasca
18m 32s master
master
18m 32s
Simplify flt_regular via Mathlib's coprime FLT reduction .github/workflows/push.yml #497: Commit a859475 pushed by riccardobrasca
12m 10s master
master
12m 10s
bump .github/workflows/push.yml #496: Commit 3d7cd5c pushed by riccardobrasca
11m 59s master
master
11m 59s
bump .github/workflows/push.yml #495: Commit dfb5312 pushed by riccardobrasca
12m 15s master
master
12m 15s
bump .github/workflows/push.yml #494: Commit 7caafea pushed by riccardobrasca
11m 58s master
master
11m 58s
bump .github/workflows/push.yml #493: Commit e5f9006 pushed by riccardobrasca
12m 12s master
master
12m 12s
bump .github/workflows/push.yml #492: Commit abe7ccc pushed by riccardobrasca
11m 11s master
master
11m 11s
bump .github/workflows/push.yml #491: Commit 48be855 pushed by riccardobrasca
11m 9s master
master
11m 9s
bump .github/workflows/push.yml #490: Commit 40befa0 pushed by riccardobrasca
11m 35s master
master
11m 35s
useless .github/workflows/push.yml #489: Commit 83e53c6 pushed by riccardobrasca
12m 53s master
master
12m 53s
useless .github/workflows/push.yml #488: Commit 29edbde pushed by riccardobrasca
11m 56s master
master
11m 56s
bump .github/workflows/push.yml #487: Commit 29a3bb8 pushed by riccardobrasca
11m 21s master
master
11m 21s
golf .github/workflows/push.yml #486: Commit 215d1c4 pushed by riccardobrasca
12m 19s master
master
12m 19s
bump .github/workflows/push.yml #485: Commit 3bc2132 pushed by riccardobrasca
11m 31s master
master
11m 31s
bump .github/workflows/push.yml #484: Commit 6ade127 pushed by riccardobrasca
11m 47s master
master
11m 47s
bump .github/workflows/push.yml #483: Commit 5adf3bc pushed by riccardobrasca
11m 22s master
master
11m 22s
golf .github/workflows/push.yml #482: Commit 0b2a84c pushed by riccardobrasca
12m 33s master
master
12m 33s
golf .github/workflows/push.yml #481: Commit ba566ad pushed by riccardobrasca
12m 2s master
master
12m 2s
better .github/workflows/push.yml #480: Commit fb95f53 pushed by riccardobrasca
14m 36s master
master
14m 36s
better .github/workflows/push.yml #479: Commit c1b1b24 pushed by riccardobrasca
12m 4s master
master
12m 4s
Use Mathlib primitive root integer lifts .github/workflows/push.yml #478: Commit 0080a0b pushed by riccardobrasca
10m 55s master
master
10m 55s
golf .github/workflows/push.yml #477: Commit c53afac pushed by riccardobrasca
22m 15s master
master
22m 15s
Use mathlib unramified and clean up Lean files .github/workflows/push.yml #476: Commit 2084f05 pushed by riccardobrasca
13m 2s master
master
13m 2s
bump .github/workflows/push.yml #475: Commit edd24b3 pushed by riccardobrasca
12m 19s master
master
12m 19s