Skip to content

Actions: leanprover-community/flt-regular

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
70 workflow run results
70 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bump .github/workflows/push.yml #53: Commit f124879 pushed by Ruben-VandeVelde
November 28, 2023 14:28 34m 27s master
master
November 28, 2023 14:28 34m 27s
bump .github/workflows/push.yml #52: Commit d204c03 pushed by Ruben-VandeVelde
November 28, 2023 10:48 36m 26s master
master
November 28, 2023 10:48 36m 26s
really remove aeval_algebraMap. .github/workflows/push.yml #51: Commit e4c8af5 pushed by erdOne
November 28, 2023 07:51 33m 54s master
master
November 28, 2023 07:51 33m 54s
remove aeval_algebraMap. .github/workflows/push.yml #50: Commit 0dd64b2 pushed by erdOne
November 28, 2023 07:51 33s master
master
November 28, 2023 07:51 33s
more golf .github/workflows/push.yml #49: Commit ed2487b pushed by riccardobrasca
November 27, 2023 20:47 36m 8s master
master
November 27, 2023 20:47 36m 8s
bump .github/workflows/push.yml #48: Commit 3a8e53d pushed by riccardobrasca
November 27, 2023 20:22 25m 23s master
master
November 27, 2023 20:22 25m 23s
golf .github/workflows/push.yml #47: Commit 05a87c2 pushed by riccardobrasca
November 27, 2023 19:52 30m 27s master
master
November 27, 2023 19:52 30m 27s
Hilbert90 proved .github/workflows/push.yml #46: Commit c10f6ae pushed by riccardobrasca
November 27, 2023 18:19 34m 26s master
master
November 27, 2023 18:19 34m 26s
fix build .github/workflows/push.yml #45: Commit 02fef3c pushed by riccardobrasca
November 27, 2023 17:51 28m 18s master
master
November 27, 2023 17:51 28m 18s
more progress .github/workflows/push.yml #44: Commit 5e0e357 pushed by riccardobrasca
November 27, 2023 17:34 8m 41s master
master
November 27, 2023 17:34 8m 41s
progress .github/workflows/push.yml #43: Commit 50adcd6 pushed by riccardobrasca
November 27, 2023 17:16 8m 12s master
master
November 27, 2023 17:16 8m 12s
Merge branch 'master' of https://github.com/leanprover-community/flt-… .github/workflows/push.yml #42: Commit afef32a pushed by erdOne
November 27, 2023 13:16 8m 56s master
master
November 27, 2023 13:16 8m 56s
progress .github/workflows/push.yml #41: Commit 746008b pushed by riccardobrasca
November 27, 2023 12:52 24m 17s master
master
November 27, 2023 12:52 24m 17s
better .github/workflows/push.yml #40: Commit 95ab3a5 pushed by riccardobrasca
November 27, 2023 11:02 8m 0s master
master
November 27, 2023 11:02 8m 0s
add f .github/workflows/push.yml #39: Commit 369fae2 pushed by riccardobrasca
November 27, 2023 11:00 3m 7s master
master
November 27, 2023 11:00 3m 7s
fix statement of hilbert 92 .github/workflows/push.yml #38: Commit 1eac0e0 pushed by erdOne
November 27, 2023 09:29 35m 17s master
master
November 27, 2023 09:29 35m 17s
Merge branch 'master' of https://github.com/leanprover-community/flt-… .github/workflows/push.yml #37: Commit a77184d pushed by erdOne
November 27, 2023 09:26 3m 27s master
master
November 27, 2023 09:26 3m 27s
fix statement of hilbert 92 .github/workflows/push.yml #36: Commit 1eac0e0 pushed by erdOne
November 24, 2023 17:18 34m 49s master
master
November 24, 2023 17:18 34m 49s
this was wrong .github/workflows/push.yml #35: Commit 5fd5372 pushed by riccardobrasca
November 24, 2023 15:44 34m 9s master
master
November 24, 2023 15:44 34m 9s
start proof of Hilbert90 .github/workflows/push.yml #34: Commit 08a39b8 pushed by riccardobrasca
November 24, 2023 11:18 34m 58s master
master
November 24, 2023 11:18 34m 58s
bump .github/workflows/push.yml #33: Commit 15cd260 pushed by riccardobrasca
November 24, 2023 09:22 33m 22s master
master
November 24, 2023 09:22 33m 22s
bump .github/workflows/push.yml #32: Commit 8ac9254 pushed by Ruben-VandeVelde
November 21, 2023 15:31 35m 10s master
master
November 21, 2023 15:31 35m 10s
Update push.yml .github/workflows/push.yml #31: Commit 520a10f pushed by CBirkbeck
November 20, 2023 11:22 35m 23s master
master
November 20, 2023 11:22 35m 23s
blueprint fix test .github/workflows/push.yml #30: Commit 2b2b339 pushed by CBirkbeck
November 20, 2023 10:41 33m 16s master
master
November 20, 2023 10:41 33m 16s
Add Matrix.mulVec_bijective .github/workflows/push.yml #29: Commit c63f9ae pushed by Ruben-VandeVelde
November 19, 2023 15:34 15m 42s master
master
November 19, 2023 15:34 15m 42s