Skip to content

Actions: RichWasm/iris-richwasm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
636 workflow runs
636 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Progress on admits in block_peel build #526: Commit c07bbbd pushed by bamarsha
28m 9s main
main
28m 9s
Progress on admits in block_peel Nix Build & Test #110: Commit c07bbbd pushed by bamarsha
11m 43s main
main
11m 43s
Prove wp_br_wrap build #525: Commit 9bb912c pushed by bamarsha
27m 25s main
main
27m 25s
Prove wp_br_wrap Nix Build & Test #109: Commit 9bb912c pushed by bamarsha
10m 20s main
main
10m 20s
Reprove wp_sem_ctx_seq Nix Build & Test #108: Commit 8790dc3 pushed by bamarsha
10m 32s main
main
10m 32s
Reprove wp_sem_ctx_seq build #524: Commit 8790dc3 pushed by bamarsha
27m 49s main
main
27m 49s
Update proofs using block_peel Nix Build & Test #107: Commit e51855e pushed by bamarsha
10m 17s main
main
10m 17s
Update proofs using block_peel build #523: Commit e51855e pushed by bamarsha
27m 50s main
main
27m 50s
checkpoint Nix Build & Test #106: Commit 0be0255 pushed by sysemenova
25m 46s typecheckerdev
typecheckerdev
25m 46s
draft of have_instruction Nix Build & Test #105: Commit 85b148f pushed by sysemenova
10m 1s typecheckerdev
typecheckerdev
10m 1s
reasoning about saving the tag Nix Build & Test #104: Commit 7170a1f pushed by MatteP1
10m 34s compat_binary_case
compat_binary_case
10m 34s
Run nix.yml only for main build #522: Commit cd56e05 pushed by bamarsha
28m 11s main
main
28m 11s
Run nix.yml only for main Nix Build & Test #103: Commit cd56e05 pushed by bamarsha
49s main
main
49s
New approach to proof Nix Build & Test #102: Commit 4635c26 pushed by bamarsha
10m 10s bamarsha/wp-sem-block
bamarsha/wp-sem-block
10m 10s
Admitted lemmas Nix Build & Test #101: Commit 8a40698 pushed by bamarsha
7m 47s bamarsha/wp-sem-block
bamarsha/wp-sem-block
7m 47s
typechecker progress Nix Build & Test #100: Commit 709decb pushed by sysemenova
10m 18s typecheckerdev
typecheckerdev
10m 18s
vendor opam update Nix Build & Test #99: Commit d26a356 pushed by bamarsha
18m 6s bamarsha/wp-sem-block
bamarsha/wp-sem-block
18m 6s
WIP wp_sem_ctx_block_peel cons to labels Nix Build & Test #98: Commit 70ad730 pushed by bamarsha
7m 53s bamarsha/wp-sem-block
bamarsha/wp-sem-block
7m 53s
Reasoned about structure of value input to case Nix Build & Test #97: Commit 0350dbe pushed by MatteP1
10m 40s compat_binary_case
compat_binary_case
10m 40s
Add return spec to wp_sem build #521: Commit c7787fd pushed by bamarsha
11m 29s main
main
11m 29s
Add return spec to wp_sem Nix Build & Test #96: Commit c7787fd pushed by bamarsha
10m 37s main
main
10m 37s
wp_case_ptr with wp_sem_ctx Nix Build & Test #95: Commit 6d059f3 pushed by hackedy
10m 38s main
main
10m 38s
wp_case_ptr with wp_sem_ctx build #520: Commit 6d059f3 pushed by hackedy
10m 57s main
main
10m 57s
Fix TInjectNew Nix Build & Test #94: Commit b34d5f6 pushed by bamarsha
10m 29s main
main
10m 29s
Fix TInjectNew build #519: Commit b34d5f6 pushed by bamarsha
10m 46s main
main
10m 46s