Skip to content

Actions: Wasm-DSL/spectec

Actions

CI for interpreter & tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-interpreter.yml
43 workflow runs
43 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add if-then-else introduction IL pass (#211) CI for interpreter & tests #93: Commit d2fdd73 pushed by nomeata
2m 59s main
main
2m 59s
Add if-then-else introduction IL pass CI for interpreter & tests #92: Pull request #211 synchronize by nomeata
2m 59s joachim-qlynlupukwmq
joachim-qlynlupukwmq
2m 59s
Add if-then-else introduction IL pass CI for interpreter & tests #91: Pull request #211 synchronize by nomeata
2m 44s joachim-qlynlupukwmq
joachim-qlynlupukwmq
2m 44s
Add if-then-else introduction IL pass CI for interpreter & tests #90: Pull request #211 synchronize by nomeata
2m 48s joachim-qlynlupukwmq
joachim-qlynlupukwmq
2m 48s
Add if-then-else introduction IL pass CI for interpreter & tests #89: Pull request #211 synchronize by nomeata
2m 41s joachim-qlynlupukwmq
joachim-qlynlupukwmq
2m 41s
Lean4 wip CI for interpreter & tests #88: Pull request #192 synchronize by nomeata
3m 1s lean4-wip
lean4-wip
3m 1s
Lean4 wip CI for interpreter & tests #87: Pull request #192 synchronize by nomeata
2m 55s lean4-wip
lean4-wip
2m 55s
Lean4 wip CI for interpreter & tests #86: Pull request #192 synchronize by nomeata
3m 1s lean4-wip
lean4-wip
3m 1s
Lean4 wip CI for interpreter & tests #85: Pull request #192 synchronize by nomeata
2m 56s lean4-wip
lean4-wip
2m 56s
Lean4 wip CI for interpreter & tests #84: Pull request #192 synchronize by nomeata
3m 1s lean4-wip
lean4-wip
3m 1s
Lean4 wip CI for interpreter & tests #83: Pull request #192 synchronize by nomeata
2m 53s lean4-wip
lean4-wip
2m 53s
Lean4 wip CI for interpreter & tests #82: Pull request #192 synchronize by nomeata
2m 41s lean4-wip
lean4-wip
2m 41s
Lean4 wip CI for interpreter & tests #81: Pull request #192 synchronize by nomeata
2m 56s lean4-wip
lean4-wip
2m 56s
Lean4 wip CI for interpreter & tests #80: Pull request #192 synchronize by nomeata
2m 46s lean4-wip
lean4-wip
2m 46s
Lean4 wip CI for interpreter & tests #79: Pull request #192 synchronize by nomeata
3m 7s lean4-wip
lean4-wip
3m 7s
Bump ocaml compiler (#196) CI for interpreter & tests #78: Commit e44b624 pushed by nomeata
2m 51s main
main
2m 51s
ci: bump ocaml compiler to 5.3 CI for interpreter & tests #77: Pull request #196 opened by nomeata
3m 1s joachim-wnvsoqqzqlxx
joachim-wnvsoqqzqlxx
3m 1s
Fix tt again CI for interpreter & tests #76: Commit 5cf8e64 pushed by rossberg
2m 47s main
main
2m 47s
Merge branch 'upstream' CI for interpreter & tests #75: Commit 201e8f8 pushed by rossberg
2m 49s main
main
2m 49s
Remaining text todos CI for interpreter & tests #74: Commit 46cfb88 pushed by rossberg
2m 53s main
main
2m 53s
Order instructions consistently CI for interpreter & tests #73: Commit 825da83 pushed by rossberg
5m 55s main
main
5m 55s
Test updates CI for interpreter & tests #72: Commit 905eea6 pushed by rossberg
2m 59s main
main
2m 59s
Flatten composite types; several adjustments in Properties section CI for interpreter & tests #71: Commit f1722f2 pushed by rossberg
5m 54s main
main
5m 54s
Adjust unit test CI for interpreter & tests #70: Commit 1eb3dee pushed by rossberg
3m 52s main
main
3m 52s
[interpreter] Clean up packed num types CI for interpreter & tests #69: Commit 7da7b6b pushed by rossberg
3m 10s main
main
3m 10s