Skip to content

Actions: LFDT-Nightstream/Starstream

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,153 workflow runs
1,153 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
add codegen for utxo abi (and partial token binding) Build #181: Commit dafea75 pushed by ecioppettini
8m 24s enzo/utxo-abi-codegen
enzo/utxo-abi-codegen
8m 24s
Add utxo codegen + local variables (let) (#40) Build #180: Commit c59aad5 pushed by ecioppettini
8m 30s master
master
8m 30s
starstream_nova: wip initial circuit Build #179: Commit 72ac554 pushed by L-as
8m 1s master
master
8m 1s
Add 'Download proof file' button to sandbox Build #178: Commit 1c8f59f pushed by SpaceManiac
7m 49s master
master
7m 49s
starstream_nova: init Build #177: Commit 529f31b pushed by L-as
7m 49s master
master
7m 49s
Switch main Nova engine from ipa_pc to hyperkzg Build #176: Commit 3087c2a pushed by SpaceManiac
7m 56s master
master
7m 56s
Add dark mode styles for sandbox sequence diagram Build #175: Commit dde0b5a pushed by SpaceManiac
7m 58s master
master
7m 58s
Add Mermaid diagram and proof CBOR output to CLI Build #174: Commit 64d2d16 pushed by SpaceManiac
7m 56s master
master
7m 56s
Add utxo codegen + local variables (let) Build #173: Pull request #40 opened by ecioppettini
7m 58s enzo/utxo-codegen
enzo/utxo-codegen
7m 58s
codegen: simplify locals allocation Build #172: Commit b5b12b5 pushed by ecioppettini
8m 14s enzo/utxo-codegen
enzo/utxo-codegen
8m 14s
move Symbols to its own module Build #171: Commit 32d61e2 pushed by ecioppettini
7m 53s enzo/utxo-codegen
enzo/utxo-codegen
7m 53s
add codegen for simple utxo + variables Build #170: Commit 4c5305a pushed by ecioppettini
7m 50s enzo/utxo-codegen
enzo/utxo-codegen
7m 50s
Run cargo update Build #169: Commit f288337 pushed by SpaceManiac
7m 34s master
master
7m 34s
Add typechecking compiler pass (#37) Build #168: Commit 87e12ae pushed by ecioppettini
7m 19s master
master
7m 19s
Add checkbox to make proving optional on sandbox Build #167: Commit d266a04 pushed by SpaceManiac
7m 38s master
master
7m 38s
Add typechecking compiler pass Build #166: Pull request #37 synchronize by ecioppettini
7m 15s enzo/bootstrap-typechecking-compiler-pass
enzo/bootstrap-typechecking-compiler-pass
7m 15s
add token unbound effect to utxo resume Build #165: Commit 4a42600 pushed by ecioppettini
7m 44s enzo/bootstrap-typechecking-compiler-pass
enzo/bootstrap-typechecking-compiler-pass
7m 44s
Add typechecking compiler pass Build #164: Pull request #37 synchronize by ecioppettini
7m 49s enzo/bootstrap-typechecking-compiler-pass
enzo/bootstrap-typechecking-compiler-pass
7m 49s
handle early returns correctly + constants Build #163: Commit 828c3b3 pushed by ecioppettini
7m 24s enzo/bootstrap-typechecking-compiler-pass
enzo/bootstrap-typechecking-compiler-pass
7m 24s
Add typechecking compiler pass Build #162: Pull request #37 synchronize by ecioppettini
7m 37s enzo/bootstrap-typechecking-compiler-pass
enzo/bootstrap-typechecking-compiler-pass
7m 37s
fix invalid codegen intermediate for i32 Build #161: Commit 4cdccfd pushed by ecioppettini
7m 18s enzo/bootstrap-typechecking-compiler-pass
enzo/bootstrap-typechecking-compiler-pass
7m 18s
Add typechecking compiler pass Build #160: Pull request #37 synchronize by ecioppettini
7m 32s enzo/bootstrap-typechecking-compiler-pass
enzo/bootstrap-typechecking-compiler-pass
7m 32s
remove duplicated code for field/method checks Build #159: Commit 6358924 pushed by ecioppettini
7m 33s enzo/bootstrap-typechecking-compiler-pass
enzo/bootstrap-typechecking-compiler-pass
7m 33s
Add typechecking compiler pass Build #158: Pull request #37 synchronize by ecioppettini
7m 26s enzo/bootstrap-typechecking-compiler-pass
enzo/bootstrap-typechecking-compiler-pass
7m 26s
typecheck utxo resume and 'method' calls Build #157: Commit 29d4303 pushed by ecioppettini
7m 23s enzo/bootstrap-typechecking-compiler-pass
enzo/bootstrap-typechecking-compiler-pass
7m 23s
ProTip! You can narrow down the results and go further in time using created:<2025-07-02 or the other filters available.