Skip to content

Actions: aya-prover/aya-dev

Actions

nightly

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nightly-build.yaml
131 workflow runs
131 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

proj: move more to fix compile nightly #31: Commit 73e206d pushed by ice1000
December 13, 2023 03:50 6m 19s ci
ci
December 13, 2023 03:50 6m 19s
proj: move more to fix compile nightly #30: Commit eaaf182 pushed by ice1000
December 13, 2023 03:45 3m 2s ci
ci
December 13, 2023 03:45 3m 2s
proj: move more to fix compile nightly #29: Commit 80551e2 pushed by ice1000
December 13, 2023 03:43 3m 18s ci
ci
December 13, 2023 03:43 3m 18s
proj: tools no longer depend on kala-primitive nightly #28: Commit 09490b8 pushed by ice1000
December 13, 2023 03:41 3m 1s ci
ci
December 13, 2023 03:41 3m 1s
proj: move source roots nightly #27: Commit acc3ad9 pushed by ice1000
December 13, 2023 03:11 3m 53s ci
ci
December 13, 2023 03:11 3m 53s
docs: changelog nightly #26: Commit 1ce17eb pushed by ice1000
December 13, 2023 02:58 7m 25s ci
ci
December 13, 2023 02:58 7m 25s
merge: reduction rule (#995) nightly #25: Commit cd88eeb pushed by ice1000
December 13, 2023 00:03 6m 50s main
main
December 13, 2023 00:03 6m 50s
merge: #1021, Grouping methods in ExprTycker nightly #24: Commit 247390f pushed by HoshinoTented
December 9, 2023 19:27 8m 41s main
main
December 9, 2023 19:27 8m 41s
merge: #1019, deal with doc nightly #23: Commit 238cf26 pushed by ice1000
November 27, 2023 16:46 8m 44s main
main
November 27, 2023 16:46 8m 44s
merge: #1018, Do not unify in case of errors nightly #22: Commit 2a3182b pushed by ice1000
November 17, 2023 22:55 7m 15s main
main
November 17, 2023 22:55 7m 15s
merge: #1017 nightly #21: Commit 830b3ee pushed by ice1000
November 17, 2023 19:18 6m 11s main
main
November 17, 2023 19:18 6m 11s
merge: #1014 (Freeze holes in context) nightly #20: Commit 4a21d50 pushed by ice1000
November 15, 2023 23:18 6m 7s main
main
November 15, 2023 23:18 6m 7s
merge: #1012 for various simplifications nightly #19: Commit 69b0f2d pushed by ice1000
November 11, 2023 22:06 5m 37s main
main
November 11, 2023 22:06 5m 37s
merge: #1011, remove isProp nightly #18: Commit 8f7acdf pushed by ice1000
November 11, 2023 21:04 7m 56s main
main
November 11, 2023 21:04 7m 56s
merge: #1009 nightly #17: Commit dd44ae8 pushed by ice1000
November 8, 2023 00:29 9m 37s main
main
November 8, 2023 00:29 9m 37s
merge: #1008 nightly #16: Commit 6e4e84d pushed by bors bot
November 2, 2023 17:26 9m 17s main
main
November 2, 2023 17:26 9m 17s
merge: #1007 nightly #15: Commit dac084a pushed by bors bot
October 30, 2023 21:20 9m 53s main
main
October 30, 2023 21:20 9m 53s
merge: #1006 nightly #14: Commit 502dedf pushed by bors bot
October 30, 2023 16:03 8m 11s main
main
October 30, 2023 16:03 8m 11s
merge: #1005 nightly #13: Commit 28b96b4 pushed by bors bot
October 30, 2023 15:29 10m 20s main
main
October 30, 2023 15:29 10m 20s
merge: #1003 nightly #12: Commit e9f0854 pushed by bors bot
October 21, 2023 09:11 10m 44s main
main
October 21, 2023 09:11 10m 44s
merge: #1002 nightly #11: Commit a7791bb pushed by bors bot
October 20, 2023 14:12 8m 50s main
main
October 20, 2023 14:12 8m 50s
merge: #1001 nightly #10: Commit c5be01e pushed by bors bot
October 7, 2023 07:12 9m 17s main
main
October 7, 2023 07:12 9m 17s
merge: #999 nightly #9: Commit 9134503 pushed by bors bot
September 27, 2023 16:02 8m 13s main
main
September 27, 2023 16:02 8m 13s
merge: #998 nightly #8: Commit 8492f10 pushed by bors bot
September 26, 2023 13:51 10m 27s main
main
September 26, 2023 13:51 10m 27s
ci: try to fix native-image nightly #7: Commit 9e3127e pushed by imkiva
September 26, 2023 13:37 10m 36s ci
ci
September 26, 2023 13:37 10m 36s