Skip to content

Actions: leanprover-community/NNG4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
181 workflow runs
181 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build the game and save artifact Build #182: Commit 396a350 pushed by kbuzzard
January 23, 2024 19:24 7m 24s main
main
January 23, 2024 19:24 7m 24s
Build the game and save artifact Build #181: Commit 9e6ce06 pushed by kbuzzard
January 23, 2024 19:17 7m 37s main
main
January 23, 2024 19:17 7m 37s
Build the game and save artifact Build #180: Commit 24ac80d pushed by joneugster
January 12, 2024 12:46 8m 18s main
main
January 12, 2024 12:46 8m 18s
Build non-main branch Build non-main branch #201: Commit 28b67ed pushed by kbuzzard
December 22, 2023 16:44 2m 26s AdvMultiplication
AdvMultiplication
December 22, 2023 16:44 2m 26s
Build non-main branch Build non-main branch #200: Commit b893d5f pushed by kbuzzard
December 22, 2023 16:36 2m 32s AdvMultiplication
AdvMultiplication
December 22, 2023 16:36 2m 32s
Build non-main branch Build non-main branch #199: Commit 9815f76 pushed by kbuzzard
December 22, 2023 16:33 2m 47s AdvMultiplication
AdvMultiplication
December 22, 2023 16:33 2m 47s
Build the game and save artifact Build #179: Commit 26a39e3 pushed by kbuzzard
December 22, 2023 15:56 7m 10s main
main
December 22, 2023 15:56 7m 10s
Build non-main branch Build non-main branch #198: Commit dc0dd30 pushed by kbuzzard
December 22, 2023 14:18 2m 30s AdvMultiplication
AdvMultiplication
December 22, 2023 14:18 2m 30s
Build non-main branch Build non-main branch #197: Commit caf6e47 pushed by kbuzzard
December 21, 2023 22:09 2m 37s AdvMultiplication
AdvMultiplication
December 21, 2023 22:09 2m 37s
Build non-main branch Build non-main branch #196: Commit b81f2ec pushed by kbuzzard
December 21, 2023 17:12 1m 16s AdvMultiplication
AdvMultiplication
December 21, 2023 17:12 1m 16s
Build non-main branch Build non-main branch #195: Commit 693051f pushed by kbuzzard
December 20, 2023 14:17 2m 31s AdvMultiplication
AdvMultiplication
December 20, 2023 14:17 2m 31s
Build the game and save artifact Build #178: Commit 70104f2 pushed by kbuzzard
December 20, 2023 14:15 7m 15s main
main
December 20, 2023 14:15 7m 15s
Build the game and save artifact Build #177: Commit 16e544a pushed by kbuzzard
December 20, 2023 14:06 7m 11s main
main
December 20, 2023 14:06 7m 11s
Build the game and save artifact Build #176: Commit c290857 pushed by kbuzzard
December 20, 2023 14:05 8m 20s main
main
December 20, 2023 14:05 8m 20s
Build the game and save artifact Build #175: Commit 98598bf pushed by kbuzzard
December 20, 2023 13:39 7m 35s main
main
December 20, 2023 13:39 7m 35s
Build the game and save artifact Build #174: Commit 09c16e9 pushed by kbuzzard
December 20, 2023 13:37 8m 38s main
main
December 20, 2023 13:37 8m 38s
Build the game and save artifact Build #173: Commit 72364d6 pushed by kbuzzard
December 19, 2023 16:27 7m 9s main
main
December 19, 2023 16:27 7m 9s
Build the game and save artifact Build #172: Commit 3ee3082 pushed by kbuzzard
December 18, 2023 17:51 7m 59s main
main
December 18, 2023 17:51 7m 59s
Build the game and save artifact Build #171: Commit 1f00de5 pushed by kbuzzard
December 18, 2023 16:40 6m 58s main
main
December 18, 2023 16:40 6m 58s
Build the game and save artifact Build #170: Commit f4028d7 pushed by joneugster
December 15, 2023 14:50 7m 5s main
main
December 15, 2023 14:50 7m 5s
Build the game and save artifact Build #169: Commit a71cd97 pushed by joneugster
December 15, 2023 14:22 8m 24s main
main
December 15, 2023 14:22 8m 24s
Build the game and save artifact Build #168: Commit a126620 pushed by joneugster
December 8, 2023 18:00 8m 22s main
main
December 8, 2023 18:00 8m 22s
Build the game and save artifact Build #167: Commit dbd5364 pushed by joneugster
December 8, 2023 00:34 7m 48s main
main
December 8, 2023 00:34 7m 48s
Build non-main branch Build non-main branch #194: Commit acdfe42 pushed by archiebrowne
December 7, 2023 18:28 3m 49s div-world
div-world
December 7, 2023 18:28 3m 49s
Build the game and save artifact Build #166: Commit 7642e2d pushed by joneugster
December 1, 2023 16:45 6m 33s main
main
December 1, 2023 16:45 6m 33s