8000 Workflow runs · leanprover-community/flt-regular · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: leanprover-community/flt-regular

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
200 workflow runs
200 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bump .github/workflows/push.yml #379: Commit a51b1f0 pushed by riccardobrasca
June 23, 2025 15:26 52m 10s master
master
June 23, 2025 15:26 52m 10s
bump .github/workflows/push.yml #378: Commit 0327e88 pushed by riccardobrasca
June 19, 2025 09:00 52m 25s master
master
June 19, 2025 09:00 52m 25s
bump .github/workflows/push.yml #377: Commit 0dbb2bb pushed by riccardobrasca
June 17, 2025 16:10 52m 48s master
master
June 17, 2025 16:10 52m 48s
bump .github/workflows/push.yml #376: Commit 34cb497 pushed by riccardobrasca
June 11, 2025 13:50 1h 23m 53s master
master
June 11, 2025 13:50 1h 23m 53s
make variables implicit .github/workflows/push.yml #375: Commit 9bb482f pushed by riccardobrasca
June 10, 2025 16:54 51m 34s master
master
June 10, 2025 16:54 51m 34s
bump .github/workflows/push.yml #374: Commit 05b30b5 pushed by riccardobrasca
June 7, 2025 12:35 51m 8s master
master
June 7, 2025 12:35 51m 8s
bump .github/workflows/push.yml #373: Commit e7bad5c pushed by riccardobrasca
June 5, 2025 11:51 54m 5s master
master
June 5, 2025 11:51 54m 5s
useless .github/workflows/push.yml #372: Commit 0e1fb62 pushed by riccardobrasca
June 4, 2025 09:38 48m 42s master
master
June 4, 2025 09:38 48m 42s
bump and use all linters .github/workflows/push.yml #371: Commit ab03ac1 pushed by riccardobrasca
June 4, 2025 08:47 51m 22s master
master
June 4, 2025 08:47 51m 22s
bump .github/workflows/push.yml #370: Commit e2a1488 pushed by riccardobrasca
June 3, 2025 14:36 54m 2s master
master
June 3, 2025 14:36 54m 2s
bump .github/workflows/push.yml #369: Commit 3962bec pushed by riccardobrasca
June 3, 2025 11:14 51m 20s master
master
June 3, 2025 11:14 51m 20s
Golf KummersLemma.lean .github/workflows/push.yml #368: Commit aca25d9 pushed by Ruben-VandeVelde
May 20, 2025 11:55 54m 18s master
master
May 20, 2025 11:55 54m 18s
Rephrase not_for_all_zeta_sub_one_pow_dvd_sub_one_of_pow_ne .github/workflows/push.yml #367: Commit 4f6c7af pushed by Ruben-VandeVelde
May 20, 2025 07:54 52m 47s master
master
May 20, 2025 07:54 52m 47s
Implicit argument to Ideal.isPrincipal_pow_finrank_of_isPrincipal_map .github/workflows/push.yml #366: Commit e65dd98 pushed by Ruben-VandeVelde
May 19, 2025 21:42 51m 45s master
master
May 19, 2025 21:42 51m 45s
Avoid multiple goals in isPrimitiveRoot_of_mem_nthRootsFinset .github/workflows/push.yml #365: Commit 55913b0 pushed by Ruben-VandeVelde
May 19, 2025 21:10 32m 33s master
master
May 19, 2025 21:10 32m 33s
bump .github/workflows/push.yml #364: Commit 6008b75 pushed by riccardobrasca
May 16, 2025 12:56 50m 2s master
master
May 16, 2025 12:56 50m 2s
bump .github/workflows/push.yml #363: Commit ae3b550 pushed by riccardobrasca
May 15, 2025 13:55 52m 11s master
master
May 15, 2025 13:55 52m 11s
bump .github/workflows/push.yml #362: Commit 2919780 pushed by riccardobrasca
May 14, 2025 13:39 54m 36s master
master
May 14, 2025 13:39 54m 36s
bump .github/workflows/push.yml #361: Commit 84ca37a pushed by riccardobrasca
May 12, 2025 12:35 51m 7s master
master
May 12, 2025 12:35 51m 7s
bump .github/workflows/push.yml #360: Commit ac5c80e pushed by riccardobrasca
May 8, 2025 17:05 51m 39s master
master
May 8, 2025 17:05 51m 39s
bump .github/workflows/push.yml #359: Commit 6ff5d66 pushed by riccardobrasca
May 7, 2025 15:25 52m 16s master
master
May 7, 2025 15:25 52m 16s
bump .github/workflows/push.yml #358: Commit 9d6d854 pushed by riccardobrasca
May 5, 2025 13:51 49m 16s master
master
May 5, 2025 13:51 49m 16s
remove .github/workflows/push.yml #357: Commit db226ca pushed by riccardobrasca
May 5, 2025 13:28 23m 46s master
master
May 5, 2025 13:28 23m 46s
Bump to v4.19.0 .github/workflows/push.yml #356: Commit 546e139 pushed by Ruben-VandeVelde
May 1, 2025 20:57 47m 50s master
master
May 1, 2025 20:57 47m 50s
bump .github/workflows/push.yml #355: Commit 7e04327 pushed by riccardobrasca
April 26, 2025 05:03 45m 33s master
master
April 26, 2025 05:03 45m 33s
0