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 non-main branch Build non-main branch #108: Commit 78a0b03 pushed by kbuzzard
October 12, 2023 18:30 4m 6s level-rewrite
level-rewrite
October 12, 2023 18:30 4m 6s
Build non-main branch Build non-main branch #107: Commit e86866b pushed by kbuzzard
October 12, 2023 17:48 4m 53s level-rewrite
level-rewrite
October 12, 2023 17:48 4m 53s
Build non-main branch Build non-main branch #106: Commit 8e56a06 pushed by kbuzzard
October 12, 2023 17:33 4m 13s level-rewrite
level-rewrite
October 12, 2023 17:33 4m 13s
Build non-main branch Build non-main branch #105: Commit bf013af pushed by kbuzzard
October 11, 2023 16:58 5m 49s level-rewrite
level-rewrite
October 11, 2023 16:58 5m 49s
Build non-main branch Build non-main branch #104: Commit a01eb1b pushed by kbuzzard
October 11, 2023 16:53 3m 24s level-rewrite
level-rewrite
October 11, 2023 16:53 3m 24s
Build the game and save artifact Build #122: Commit dc7c7d4 pushed by joneugster
October 10, 2023 08:04 22m 22s main
main
October 10, 2023 08:04 22m 22s
Build non-main branch Build non-main branch #103: Commit dc5635b pushed by archiebrowne
October 10, 2023 06:20 4m 9s div-world
div-world
October 10, 2023 06:20 4m 9s
Build the game and save artifact Build #121: Commit dc5635b pushed by joneugster
October 9, 2023 19:26 21m 7s main
main
October 9, 2023 19:26 21m 7s
Build non-main branch Build non-main branch #102: Commit bd91db1 pushed by joneugster
October 9, 2023 10:21 4m 58s OLD_NNG
OLD_NNG
October 9, 2023 10:21 4m 58s
Build non-main branch Build non-main branch #101: Commit 0d17891 pushed by abentkamp
October 5, 2023 15:15 4m 0s assumption
assumption
October 5, 2023 15:15 4m 0s
Build non-main branch Build non-main branch #100: Commit 5f3f511 pushed by kbuzzard
October 5, 2023 13:17 4m 40s level-rewrite
level-rewrite
October 5, 2023 13:17 4m 40s
Build non-main branch Build non-main branch #99: Commit 8a03ea3 pushed by kbuzzard
October 5, 2023 13:15 4m 2s level-rewrite
level-rewrite
October 5, 2023 13:15 4m 2s
Build non-main branch Build non-main branch #98: Commit 23593c1 pushed by kbuzzard
October 4, 2023 22:23 4m 1s level-rewrite
level-rewrite
October 4, 2023 22:23 4m 1s
Build non-main branch Build non-main branch #97: by kbuzzard
October 4, 2023 15:32 3m 38s level-rewrite
level-rewrite
October 4, 2023 15:32 3m 38s
Build non-main branch Build non-main branch #96: Commit 0e36f7d pushed by kbuzzard
October 4, 2023 14:44 3m 27s level-rewrite
level-rewrite
October 4, 2023 14:44 3m 27s
Build the game and save artifact Build #120: Commit 0eb7817 pushed by kbuzzard
October 2, 2023 18:51 19m 13s main
main
October 2, 2023 18:51 19m 13s
Build the game and save artifact Build #119: Commit 54eea0e pushed by kbuzzard
October 2, 2023 18:37 18m 49s main
main
October 2, 2023 18:37 18m 49s
Build non-main branch Build non-main branch #95: Commit 4e1330b pushed by kbuzzard
October 2, 2023 17:59 3m 34s level-rewrite
level-rewrite
October 2, 2023 17:59 3m 34s
Build the game and save artifact Build #118: Commit 95df86b pushed by kbuzzard
October 2, 2023 16:38 18m 58s main
main
October 2, 2023 16:38 18m 58s
Build the game and save artifact Build #117: Commit cc92b45 pushed by abentkamp
October 2, 2023 10:51 22m 10s main
main
October 2, 2023 10:51 22m 10s
Build non-main branch Build non-main branch #94: Commit 3ffa370 pushed by kbuzzard
October 1, 2023 20:25 4m 19s level-rewrite
level-rewrite
October 1, 2023 20:25 4m 19s
Build the game and save artifact Build #116: Commit 6e762fc pushed by kbuzzard
September 27, 2023 07:57 24m 59s main
main
September 27, 2023 07:57 24m 59s
Build non-main branch Build non-main branch #93: Commit 6e762fc pushed by kbuzzard
September 27, 2023 07:57 5m 2s level-rewrite
level-rewrite
September 27, 2023 07:57 5m 2s
Build non-main branch Build non-main branch #92: Commit 2f2b823 pushed by kbuzzard
September 26, 2023 22:01 4m 4s level-rewrite
level-rewrite
September 26, 2023 22:01 4m 4s
Build non-main branch Build non-main branch #91: Commit 1f1bf0b pushed by kbuzzard
September 26, 2023 21:30 3m 56s level-rewrite
level-rewrite
September 26, 2023 21:30 3m 56s