Skip to content

Actions: leanprover-community/NNG4

Actions

Build non-main branch

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_non_main.yml
74 workflow runs
74 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build non-main branch Build non-main branch #206: Commit 6ac7f1e pushed by kbuzzard
December 30, 2024 23:33 2m 51s EvenOdd_world_plan
EvenOdd_world_plan
December 30, 2024 23:33 2m 51s
Build non-main branch Build non-main branch #205: Commit d52e8bd pushed by kbuzzard
December 19, 2024 19:41 2m 12s minimise-imports
minimise-imports
December 19, 2024 19:41 2m 12s
Build non-main branch Build non-main branch #204: Commit a6698f5 pushed by bryangingechen
November 5, 2024 22:58 2m 52s bryangingechen-patch-1
bryangingechen-patch-1
November 5, 2024 22:58 2m 52s
Build non-main branch Build non-main branch #203: Commit 0934f62 pushed by kbuzzard
March 17, 2024 22:48 2m 40s kbuzzard-disable-zero_ne_succ
kbuzzard-disable-zero_ne_succ
March 17, 2024 22:48 2m 40s
Build non-main branch Build non-main branch #202: Commit 81ffb76 pushed by kbuzzard
March 17, 2024 22:48 2m 26s kbuzzard-power-import-algorithm
kbuzzard-power-import-algorithm
March 17, 2024 22:48 2m 26s
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 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 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 non-main branch Build non-main branch #193: Commit e73913e pushed by archiebrowne
November 16, 2023 19:25 3m 40s div-world
div-world
November 16, 2023 19:25 3m 40s
Build non-main branch Build non-main branch #192: Commit c5d6984 pushed by archiebrowne
November 16, 2023 18:45 3m 26s div-world
div-world
November 16, 2023 18:45 3m 26s
Build non-main branch Build non-main branch #191: Commit 67c7253 pushed by archiebrowne
November 16, 2023 18:35 3m 32s div-world
div-world
November 16, 2023 18:35 3m 32s
Build non-main branch Build non-main branch #190: Commit 3ee7a21 pushed by archiebrowne
November 16, 2023 18:17 3m 40s div-world
div-world
November 16, 2023 18:17 3m 40s
Build non-main branch Build non-main branch #189: Commit d742928 pushed by archiebrowne
November 13, 2023 20:37 4m 31s div-world
div-world
November 13, 2023 20:37 4m 31s
Build non-main branch Build non-main branch #188: Commit f217111 pushed by archiebrowne
November 13, 2023 20:26 3m 35s div-world
div-world
November 13, 2023 20:26 3m 35s
Build non-main branch Build non-main branch #187: Commit 5ddd12d pushed by archiebrowne
November 13, 2023 12:42 5m 17s div-world
div-world
November 13, 2023 12:42 5m 17s
Build non-main branch Build non-main branch #186: Commit ca5db0d pushed by archiebrowne
November 12, 2023 15:48 3m 37s div-world
div-world
November 12, 2023 15:48 3m 37s
Build non-main branch Build non-main branch #185: Commit 7cd7fbc pushed by archiebrowne
November 12, 2023 14:10 4m 56s div-world
div-world
November 12, 2023 14:10 4m 56s
Build non-main branch Build non-main branch #184: Commit 908530e pushed by kbuzzard
November 12, 2023 12:47 4m 2s add_axioms
add_axioms
November 12, 2023 12:47 4m 2s
Build non-main branch Build non-main branch #183: Commit 372c47e pushed by kbuzzard
November 12, 2023 12:44 6m 19s add_axioms
add_axioms
November 12, 2023 12:44 6m 19s
Build non-main branch Build non-main branch #182: Commit 1f8cebd pushed by kbuzzard
November 12, 2023 12:44 6m 8s add_axioms
add_axioms
November 12, 2023 12:44 6m 8s