Skip to content

Actions: leanprover-community/NNG4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
298 workflow runs
298 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build the game and save artifact Build #138: Commit 4d7a1c9 pushed by kbuzzard
October 24, 2023 16:56 27m 0s main
main
October 24, 2023 16:56 27m 0s
Build non-main branch Build non-main branch #142: Commit 4d7a1c9 pushed by kbuzzard
October 24, 2023 16:56 5m 24s LessOrEqual
LessOrEqual
October 24, 2023 16:56 5m 24s
Build non-main branch Build non-main branch #141: Commit 6f7f997 pushed by kbuzzard
October 24, 2023 16:54 4m 25s LessOrEqual
LessOrEqual
October 24, 2023 16:54 4m 25s
Build non-main branch Build non-main branch #140: Commit 1326c86 pushed by kbuzzard
October 23, 2023 18:22 4m 26s LessOrEqual
LessOrEqual
October 23, 2023 18:22 4m 26s
Build the game and save artifact Build #137: Commit 1b1fcba pushed by kbuzzard
October 23, 2023 16:52 19m 5s main
main
October 23, 2023 16:52 19m 5s
Build non-main branch Build non-main branch #139: Commit 8f997c2 pushed by kbuzzard
October 23, 2023 12:52 3m 36s LessOrEqual
LessOrEqual
October 23, 2023 12:52 3m 36s
Build non-main branch Build non-main branch #138: Commit 417dba4 pushed by kbuzzard
October 23, 2023 12:44 4m 21s LessOrEqual
LessOrEqual
October 23, 2023 12:44 4m 21s
Build non-main branch Build non-main branch #137: Commit 2d16f7f pushed by kbuzzard
October 23, 2023 12:09 4m 22s LessOrEqual
LessOrEqual
October 23, 2023 12:09 4m 22s
Build non-main branch Build non-main branch #136: Commit 674008e pushed by kbuzzard
October 22, 2023 15:26 4m 21s LessOrEqual
LessOrEqual
October 22, 2023 15:26 4m 21s
Build non-main branch Build non-main branch #135: Commit b8e530f pushed by kbuzzard
October 22, 2023 15:13 4m 25s LessOrEqual
LessOrEqual
October 22, 2023 15:13 4m 25s
Build non-main branch Build non-main branch #134: Commit 43768d0 pushed by kbuzzard
October 22, 2023 15:04 4m 52s LessOrEqual
LessOrEqual
October 22, 2023 15:04 4m 52s
Build non-main branch Build non-main branch #133: Commit c1addcb pushed by kbuzzard
October 21, 2023 18:00 4m 2s level-rewrite
level-rewrite
October 21, 2023 18:00 4m 2s
Build the game and save artifact Build #136: Commit 26512db pushed by joneugster
October 20, 2023 09:34 20m 41s main
main
October 20, 2023 09:34 20m 41s
Build non-main branch Build non-main branch #132: Commit 1ea9de7 pushed by archiebrowne
October 20, 2023 09:28 2m 21s div-world
div-world
October 20, 2023 09:28 2m 21s
Build non-main branch Build non-main branch #131: Commit 6302a4b pushed by archiebrowne
October 20, 2023 09:15 2m 38s div-world
div-world
October 20, 2023 09:15 2m 38s
Build the game and save artifact Build #135: Commit 2d26496 pushed by joneugster
October 19, 2023 10:07 2m 15s main
main
October 19, 2023 10:07 2m 15s
Build the game and save artifact Build #134: Commit be8afc3 pushed by joneugster
October 19, 2023 09:05 2m 44s main
main
October 19, 2023 09:05 2m 44s
Build the game and save artifact Build #133: Commit 959c3f0 pushed by joneugster
October 18, 2023 12:00 1m 52s main
main
October 18, 2023 12:00 1m 52s
Build the game and save artifact Build #132: Commit 0c99adb pushed by joneugster
October 18, 2023 09:37 2m 28s main
main
October 18, 2023 09:37 2m 28s
Build the game and save artifact Build #131: Commit 5ca0aec pushed by joneugster
October 17, 2023 14:14 1m 41s main
main
October 17, 2023 14:14 1m 41s
Build the game and save artifact Build #130: Commit 4631fa2 pushed by joneugster
October 17, 2023 14:12 1m 54s main
main
October 17, 2023 14:12 1m 54s
Build the game and save artifact Build #129: Commit 75bb4e5 pushed by joneugster
October 17, 2023 14:09 2m 17s main
main
October 17, 2023 14:09 2m 17s
Build non-main branch Build non-main branch #130: Commit 33bf679 pushed by archiebrowne
October 17, 2023 05:46 2m 27s div-world
div-world
October 17, 2023 05:46 2m 27s
Build the game and save artifact Build #128: Commit df1e68c pushed by joneugster
October 16, 2023 15:47 24m 50s main
main
October 16, 2023 15:47 24m 50s
Build the game and save artifact Build #127: Commit 2fc242d pushed by joneugster
October 16, 2023 14:33 19m 33s main
main
October 16, 2023 14:33 19m 33s