Skip to content

Actions: RichWasm/iris-richwasm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
535 workflow runs
535 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

beginning of typechecker
build #493: Commit 13d9434 pushed by sysemenova
28m 40s main
beginning of typechecker
Nix Build & Test #42: Commit 13d9434 pushed by sysemenova
9m 40s main
WIP debugging
build #492: Commit 75c4168 pushed by ironm00n
27m 14s main
WIP debugging
Nix Build & Test #41: Commit 75c4168 pushed by ironm00n
9m 37s main
fix Case RichWasm->Wasm compilation
Nix Build & Test #40: Commit b00f282 pushed by ironm00n
9m 37s main
try fix case stack in elaborator
Nix Build & Test #37: Commit 76b63dd pushed by ironm00n
10m 0s main
fix arrow types for if/case
Nix Build & Test #34: Commit eadc993 pushed by ariscript
9m 32s main
improve nix workflow logs
Nix Build & Test #33: Commit 47254df pushed by ironm00n
10m 15s main
tag allocated pointers correctly
Nix Build & Test #32: Commit 14d7f03 pushed by ariscript
9m 15s main