Skip to content

Actions: leanprover-community/NNG4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
317 workflow runs
317 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build non-main branch Build non-main branch #180: Commit c67e3fb pushed by kbuzzard
November 12, 2023 12:37 5m 18s add_axioms
add_axioms
November 12, 2023 12:37 5m 18s
Build non-main branch Build non-main branch #179: Commit 03d7490 pushed by kbuzzard
November 12, 2023 12:33 3m 47s add_axioms
add_axioms
November 12, 2023 12:33 3m 47s
Build non-main branch Build non-main branch #178: Commit f33eb30 pushed by kbuzzard
November 12, 2023 12:30 6m 22s add_axioms
add_axioms
November 12, 2023 12:30 6m 22s
Build non-main branch Build non-main branch #177: Commit 5cfeac8 pushed by kbuzzard
November 12, 2023 12:28 5m 10s add_axioms
add_axioms
November 12, 2023 12:28 5m 10s
Build non-main branch Build non-main branch #176: Commit 2500632 pushed by kbuzzard
November 12, 2023 12:23 3m 48s add_axioms
add_axioms
November 12, 2023 12:23 3m 48s
Build non-main branch Build non-main branch #175: Commit 73188bb pushed by kbuzzard
November 12, 2023 12:14 3m 55s add_axioms
add_axioms
November 12, 2023 12:14 3m 55s
Build non-main branch Build non-main branch #174: Commit 1c4ae8f pushed by kbuzzard
November 12, 2023 12:11 6m 44s Decidable_le_and_dvd
Decidable_le_and_dvd
November 12, 2023 12:11 6m 44s
Build non-main branch Build non-main branch #173: Commit b42415d pushed by kbuzzard
November 12, 2023 12:10 3m 46s add_axioms
add_axioms
November 12, 2023 12:10 3m 46s
Build non-main branch Build non-main branch #172: Commit 3c95c83 pushed by archiebrowne
November 11, 2023 20:45 4m 18s div-world
div-world
November 11, 2023 20:45 4m 18s
Build non-main branch Build non-main branch #171: Commit f04d47d pushed by archiebrowne
November 11, 2023 20:13 5m 18s div-world
div-world
November 11, 2023 20:13 5m 18s
Build non-main branch Build non-main branch #170: Commit 8255712 pushed by archiebrowne
November 2, 2023 20:17 3m 17s div-world
div-world
November 2, 2023 20:17 3m 17s
Build non-main branch Build non-main branch #169: Commit 3507d52 pushed by archiebrowne
November 2, 2023 19:49 4m 3s div-world
div-world
November 2, 2023 19:49 4m 3s
Build non-main branch Build non-main branch #168: Commit 2821fcd pushed by kbuzzard
November 1, 2023 13:34 4m 43s add_axioms
add_axioms
November 1, 2023 13:34 4m 43s
Build non-main branch Build non-main branch #167: Commit f78229e pushed by archiebrowne
November 1, 2023 09:23 4m 59s div-world
div-world
November 1, 2023 09:23 4m 59s
Build non-main branch Build non-main branch #166: Commit 90ab940 pushed by archiebrowne
November 1, 2023 09:12 4m 45s div-world
div-world
November 1, 2023 09:12 4m 45s
Build non-main branch Build non-main branch #165: Commit 150e359 pushed by archiebrowne
November 1, 2023 08:58 4m 35s div-world
div-world
November 1, 2023 08:58 4m 35s
Build non-main branch Build non-main branch #164: Commit 246e42a pushed by kbuzzard
November 1, 2023 00:50 4m 55s add_axioms
add_axioms
November 1, 2023 00:50 4m 55s
Build the game and save artifact Build #150: Commit 8a15175 pushed by kbuzzard
November 1, 2023 00:49 19m 54s main
main
November 1, 2023 00:49 19m 54s
Build the game and save artifact Build #149: Commit 9941e69 pushed by kbuzzard
November 1, 2023 00:45 21m 31s main
main
November 1, 2023 00:45 21m 31s
Build the game and save artifact Build #148: Commit d05c749 pushed by kbuzzard
November 1, 2023 00:44 23m 18s main
main
November 1, 2023 00:44 23m 18s
Build non-main branch Build non-main branch #163: Commit d29d187 pushed by kbuzzard
November 1, 2023 00:17 4m 55s add_axioms
add_axioms
November 1, 2023 00:17 4m 55s
Build non-main branch Build non-main branch #162: Commit f2fc75c pushed by kbuzzard
October 31, 2023 23:43 5m 36s add_axioms
add_axioms
October 31, 2023 23:43 5m 36s
Build the game and save artifact Build #147: Commit 14ce186 pushed by joneugster
October 28, 2023 20:01 23m 49s main
main
October 28, 2023 20:01 23m 49s
Build non-main branch Build non-main branch #161: Commit 2abe1d7 pushed by kbuzzard
October 28, 2023 19:36 4m 37s AdvMultiplication
AdvMultiplication
October 28, 2023 19:36 4m 37s
Build the game and save artifact Build #146: Commit b24987f pushed by kbuzzard
October 28, 2023 16:51 19m 37s main
main
October 28, 2023 16:51 19m 37s