Skip to content

Actions: LFDT-Nightstream/Starstream

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,142 workflow runs
1,142 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Clean up :: syntax, add effect declarations and raise expressio… Build #1245: Commit b27ed62 pushed by rvcas
34m 36s main
main
34m 36s
Clean up :: syntax, add effect declarations and raise expressions Build #1244: Pull request #159 synchronize by SpaceManiac
34m 17s tad/effect-decls
tad/effect-decls
34m 17s
Merge branch 'main' into tad/effect-decls Build #1243: Commit 888a949 pushed by SpaceManiac
34m 15s tad/effect-decls
tad/effect-decls
34m 15s
Flip Option enum so None is variant 0 (#158) Build #1242: Commit 4044646 pushed by SpaceManiac
34m 57s main
main
34m 57s
Move event imports into starstream:events package (#157) Build #1241: Commit 2d6b1c5 pushed by SpaceManiac
34m 40s main
main
34m 40s
upgrade nightstream to 675f2ce (new neo-fold-clean-api) (#156) Build #1240: Commit e5a93ab pushed by ecioppettini
34m 51s main
main
34m 51s
Actually typecheck effect decls Build #1239: Commit 59ca192 pushed by SpaceManiac
17m 45s tad/effect-decls
tad/effect-decls
17m 45s
Move event imports into starstream:events package Build #1238: Pull request #157 synchronize by SpaceManiac
20m 44s tad/change-event-imports
tad/change-event-imports
20m 44s
Adjust assert in runtime tests for new name Build #1237: Commit e4a1f50 pushed by SpaceManiac
20m 21s tad/change-event-imports
tad/change-event-imports
20m 21s
Flip Option enum so None is variant 0 Build #1236: Pull request #158 opened by SpaceManiac
20m 33s tad/flip-option-discriminant
tad/flip-option-discriminant
20m 33s
Flip Option enum so None is variant 0 Build #1235: Commit 72b36a6 pushed by SpaceManiac
19m 47s tad/flip-option-discriminant
tad/flip-option-discriminant
19m 47s
Pass enum unit variant constant info through to compiler Build #1234: Commit 3375fc9 pushed by SpaceManiac
17m 30s tad/effect-decls
tad/effect-decls
17m 30s
Move event imports into starstream:events package Build #1233: Pull request #157 opened by SpaceManiac
7m 0s tad/change-event-imports
tad/change-event-imports
7m 0s
Import event interfaces from starstream:events package Build #1232: Commit 65e2862 pushed by SpaceManiac
17m 45s tad/change-event-imports
tad/change-event-imports
17m 45s
Fix some new bugs and update some tests in starstream-compiler Build #1231: Commit 83bf346 pushed by SpaceManiac
6m 8s tad/effect-decls
tad/effect-decls
6m 8s
Add effect to spec, parser, TS grammar Build #1230: Commit e84938a pushed by SpaceManiac
17m 10s tad/effect-decls
tad/effect-decls
17m 10s
upgrade nightstream to 675f2ce (new neo-fold-clean-api) Build #1229: Pull request #156 opened by ecioppettini
34m 8s enzo/upgrade-nightstream-to-675f2ce
enzo/upgrade-nightstream-to-675f2ce
34m 8s
cleanup imports in folding.rs (cosmetic) Build #1228: Commit 0b37356 pushed by ecioppettini
34m 45s enzo/upgrade-nightstream-to-675f2ce
enzo/upgrade-nightstream-to-675f2ce
34m 45s
chore: update Cargo.lock Build #1227: Commit 46ab2ca pushed by ecioppettini
35m 0s enzo/upgrade-nightstream-to-675f2ce
enzo/upgrade-nightstream-to-675f2ce
35m 0s
Add TypedAbiPart::Effect Build #1226: Commit 43aadfd pushed by SpaceManiac
17m 32s tad/effect-decls
tad/effect-decls
17m 32s
upgrade the interleaving proof circuit to new nightstream version Build #1225: Pull request #152 synchronize by ecioppettini
7m 26s enzo/circuit-fids-and-nightstream-upgrade
enzo/circuit-fids-and-nightstream-upgrade
7m 26s
bump nightstream to 5e87c57b Build #1224: Commit 58e1d97 pushed by ecioppettini
7m 35s enzo/circuit-fids-and-nightstream-upgrade
enzo/circuit-fids-and-nightstream-upgrade
7m 35s
Add partial wasm codegen for token definitions (#155) Build #1223: Commit ed5d2da pushed by rvcas
20m 44s main
main
20m 44s
build: update Wasmtime to 46 (#154) Build #1222: Commit ef20194 pushed by rvolosatovs
17m 1s main
main
17m 1s
point nightstream version to the wasm-vm branch (7d74458c) Build #1221: Commit f5cd092 pushed by ecioppettini
32m 52s enzo/circuit-fids-and-nightstream-upgrade
enzo/circuit-fids-and-nightstream-upgrade
32m 52s