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 #90: Commit 107a02d pushed by kbuzzard
September 26, 2023 21:01 3m 57s level-rewrite
level-rewrite
September 26, 2023 21:01 3m 57s
Build non-main branch Build non-main branch #89: Commit 73477d4 pushed by kbuzzard
September 26, 2023 13:14 4m 59s level-rewrite
level-rewrite
September 26, 2023 13:14 4m 59s
Build non-main branch Build non-main branch #88: Commit 707f7c4 pushed by kbuzzard
September 25, 2023 19:37 3m 52s level-rewrite
level-rewrite
September 25, 2023 19:37 3m 52s
Build non-main branch Build non-main branch #87: Commit 62ae9ba pushed by kbuzzard
September 25, 2023 19:04 3m 8s debug
debug
September 25, 2023 19:04 3m 8s
Build non-main branch Build non-main branch #86: Commit 0249d2e pushed by kbuzzard
September 25, 2023 18:51 5m 24s level-rewrite
level-rewrite
September 25, 2023 18:51 5m 24s
Build non-main branch Build non-main branch #85: Commit 622fbfb pushed by kbuzzard
September 23, 2023 19:40 4m 23s level-rewrite
level-rewrite
September 23, 2023 19:40 4m 23s
Build non-main branch Build non-main branch #84: Commit 5bf73a2 pushed by kbuzzard
September 23, 2023 14:54 3m 28s level-rewrite
level-rewrite
September 23, 2023 14:54 3m 28s
Build non-main branch Build non-main branch #83: Commit 9d09f56 pushed by kbuzzard
September 23, 2023 14:18 3m 33s level-rewrite
level-rewrite
September 23, 2023 14:18 3m 33s
Build non-main branch Build non-main branch #82: Commit e1e304f pushed by kbuzzard
September 23, 2023 13:49 4m 33s level-rewrite
level-rewrite
September 23, 2023 13:49 4m 33s
Build non-main branch Build non-main branch #81: Commit b5c5114 pushed by kbuzzard
September 23, 2023 13:31 2m 0s level-rewrite
level-rewrite
September 23, 2023 13:31 2m 0s
Build non-main branch Build non-main branch #80: Commit 6e7d01d pushed by kbuzzard
September 23, 2023 12:54 3m 48s level-rewrite
level-rewrite
September 23, 2023 12:54 3m 48s
Build non-main branch Build non-main branch #79: Commit ee94c46 pushed by kbuzzard
September 23, 2023 12:14 4m 13s level-rewrite
level-rewrite
September 23, 2023 12:14 4m 13s
Build non-main branch Build non-main branch #78: Commit a3e75f2 pushed by kbuzzard
September 23, 2023 11:59 3m 9s level-rewrite
level-rewrite
September 23, 2023 11:59 3m 9s
Build non-main branch Build non-main branch #77: Commit f291d35 pushed by kbuzzard
September 23, 2023 09:32 3m 13s level-rewrite
level-rewrite
September 23, 2023 09:32 3m 13s
Build non-main branch Build non-main branch #76: Commit 68486ee pushed by kbuzzard
September 23, 2023 09:01 3m 28s level-rewrite
level-rewrite
September 23, 2023 09:01 3m 28s
Build non-main branch Build non-main branch #75: Commit 3e9c45f pushed by kbuzzard
September 23, 2023 08:59 3m 27s level-rewrite
level-rewrite
September 23, 2023 08:59 3m 27s
Build non-main branch Build non-main branch #74: Commit 1896c1b pushed by kbuzzard
September 23, 2023 08:38 3m 25s level-rewrite
level-rewrite
September 23, 2023 08:38 3m 25s
Build non-main branch Build non-main branch #73: Commit 2b83d96 pushed by kbuzzard
September 23, 2023 08:38 3m 7s level-rewrite
level-rewrite
September 23, 2023 08:38 3m 7s
Build non-main branch Build non-main branch #72: Commit 9beb914 pushed by kbuzzard
September 22, 2023 18:49 3m 12s level-rewrite
level-rewrite
September 22, 2023 18:49 3m 12s
Build non-main branch Build non-main branch #71: Commit 54bc9d3 pushed by kbuzzard
September 21, 2023 17:43 3m 56s level-rewrite
level-rewrite
September 21, 2023 17:43 3m 56s
Build non-main branch Build non-main branch #70: Commit 43ea008 pushed by kbuzzard
September 21, 2023 16:51 3m 27s level-rewrite
level-rewrite
September 21, 2023 16:51 3m 27s
Build non-main branch Build non-main branch #69: Commit dd618be pushed by kbuzzard
September 21, 2023 16:45 3m 36s level-rewrite
level-rewrite
September 21, 2023 16:45 3m 36s
Build non-main branch Build non-main branch #68: Commit 2f4d0aa pushed by kbuzzard
September 21, 2023 16:15 4m 13s level-rewrite
level-rewrite
September 21, 2023 16:15 4m 13s
Build non-main branch Build non-main branch #67: Commit c572a26 pushed by kbuzzard
September 21, 2023 16:11 3m 14s level-rewrite
level-rewrite
September 21, 2023 16:11 3m 14s
Build non-main branch Build non-main branch #66: Commit 003161c pushed by kbuzzard
September 21, 2023 16:07 4m 12s level-rewrite
level-rewrite
September 21, 2023 16:07 4m 12s
ProTip! You can narrow down the results and go further in time using created:<2023-09-21 or the other filters available.