Skip to content

Actions: aya-prover/aya-dev

Actions

nightly

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

merge: Kala 0.82 (#1324) nightly #247: Commit ec865dd pushed by ice1000
February 14, 2025 00:52 3m 12s main
main
February 14, 2025 00:52 3m 12s
merge: Rename keyword partial to nonterminating (#1323) nightly #246: Commit 4ba4c80 pushed by ice1000
February 13, 2025 21:55 3m 29s main
main
February 13, 2025 21:55 3m 29s
merge: Initial partial element by KonjacSource (#1321) nightly #245: Commit d179dc2 pushed by ice1000
February 13, 2025 21:38 2m 40s main
main
February 13, 2025 21:38 2m 40s
merge: Code changed during plunch (#1320) nightly #244: Commit 1c34859 pushed by ice1000
February 12, 2025 20:20 2m 41s main
main
February 12, 2025 20:20 2m 41s
merge: More preparation for plunch (#1318) nightly #243: Commit 60e1f8c pushed by ice1000
February 12, 2025 14:21 2m 40s main
main
February 12, 2025 14:21 2m 40s
merge: Preparation for PLunch talk (#1316) nightly #242: Commit 0b5a833 pushed by ice1000
February 12, 2025 06:28 2m 48s main
main
February 12, 2025 06:28 2m 48s
merge: Use onEach and refactor some stream to view (#1315) nightly #241: Commit b7f09bd pushed by ice1000
February 12, 2025 02:37 3m 20s main
main
February 12, 2025 02:37 3m 20s
merge: More lsp changes (#1313) nightly #240: Commit 37e8497 pushed by ice1000
February 11, 2025 23:03 2m 47s main
main
February 11, 2025 23:03 2m 47s
merge: Move source code builder & TyckTest (#1312) nightly #239: Commit 2a6a269 pushed by ice1000
February 11, 2025 01:20 3m 9s main
main
February 11, 2025 01:20 3m 9s
merge: Refactored tools to not depend on `kala-collection-primitive… nightly #238: Commit 4a49926 pushed by linxuanm
February 10, 2025 23:40 1m 33s main
main
February 10, 2025 23:40 1m 33s
merge: ProjectOrFile and some other lsp changes, fix link in hackin… nightly #237: Commit 1f09943 pushed by ice1000
February 10, 2025 21:12 3m 6s main
main
February 10, 2025 21:12 3m 6s
merge: Add some symbol information and misc (#1309) nightly #236: Commit fed78ea pushed by ice1000
February 8, 2025 18:04 2m 36s main
main
February 8, 2025 18:04 2m 36s
merge: Add HACKING.md, cosmetic code changes (#1308) nightly #235: Commit e397b2e pushed by ice1000
February 7, 2025 20:46 2m 41s main
main
February 7, 2025 20:46 2m 41s
merge: Fast LineColumn conversion (for #1301) (#1307) nightly #234: Commit 2275336 pushed by ice1000
February 7, 2025 13:40 3m 20s main
main
February 7, 2025 13:40 3m 20s
merge: Some profile-guided optimization (#1305) nightly #233: Commit 06bc281 pushed by ice1000
February 4, 2025 18:31 3m 9s main
main
February 4, 2025 18:31 3m 9s
merge: Avoid using MutableSeq for local term variables #1302 (#1303) nightly #232: Commit 5eb8aa7 pushed by ice1000
February 4, 2025 17:51 2m 41s main
main
February 4, 2025 17:51 2m 41s
merge: Classfile integration (#1300) nightly #231: Commit 7d1ffdc pushed by ice1000
February 2, 2025 00:22 2m 36s main
main
February 2, 2025 00:22 2m 36s
merge: Classfile Morphism (#1297) nightly #230: Commit 171c6ff pushed by ice1000
February 1, 2025 21:46 3m 0s main
main
February 1, 2025 21:46 3m 0s
merge: Cherry pick from #1298 (#1299) nightly #229: Commit 0727d12 pushed by ice1000
February 1, 2025 01:22 3m 39s main
main
February 1, 2025 01:22 3m 39s
merge: Turn some classes into records (#1292) nightly #228: Commit ac52873 pushed by ice1000
January 28, 2025 15:52 3m 4s main
main
January 28, 2025 15:52 3m 4s
merge: Remove unused gradle task :githubActions (#1291) nightly #227: Commit be37201 pushed by ice1000
January 28, 2025 15:32 2m 53s main
main
January 28, 2025 15:32 2m 53s
merge: More docs & comments about the codebase (#1290) nightly #226: Commit 7ab473f pushed by ice1000
January 26, 2025 11:46 2m 45s main
main
January 26, 2025 11:46 2m 45s
merge: MAY THE FORCE BE WITH YOU (#1289) nightly #225: Commit 6789ae5 pushed by ice1000
January 25, 2025 22:55 2m 35s main
main
January 25, 2025 22:55 2m 35s
merge: Try to make the force be with you (#1288) nightly #224: Commit 67b1ef9 pushed by ice1000
January 25, 2025 18:54 2m 55s main
main
January 25, 2025 18:54 2m 55s
merge: Implement :case-tree in repl (#1287) nightly #223: Commit e3803bb pushed by ice1000
January 25, 2025 15:58 2m 39s main
main
January 25, 2025 15:58 2m 39s