Skip to content

Actions: grouptheoryiscool/spectec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
45 workflow runs
45 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
hardcode fix simd CI for OCaml Interpreter #29: Commit c5673ba pushed by grouptheoryiscool
7m 23s il-animate-stable
il-animate-stable
7m 23s
hardcode fix simd CI for DL meta-interpreter on Wasm-3.0 #3: Commit c5673ba pushed by grouptheoryiscool
1h 3m 59s il-animate-stable
il-animate-stable
1h 3m 59s
fix hostfunc and almost all of simd CI for DL meta-interpreter on Wasm-3.0 #2: Commit d3a84ba pushed by grouptheoryiscool
1h 8m 17s il-animate-stable
il-animate-stable
1h 8m 17s
fix hostfunc and almost all of simd CI for OCaml Interpreter #28: Commit d3a84ba pushed by grouptheoryiscool
11m 31s il-animate-stable
il-animate-stable
11m 31s
fix makefile CI for DL meta-interpreter on Wasm-3.0 #1: Commit 5fb3282 pushed by grouptheoryiscool
1h 3m 48s il-animate-stable
il-animate-stable
1h 3m 48s
fix makefile CI for OCaml Interpreter #27: Commit 5fb3282 pushed by grouptheoryiscool
11m 49s il-animate-stable
il-animate-stable
11m 49s
dont skip assert invalids CI for Meta-Interpreter with Type Family Removal #13: Commit 87889db pushed by grouptheoryiscool
1m 46s il-interpreter
il-interpreter
1m 46s
dont skip assert invalids CI for OCaml Interpreter #26: Commit 87889db pushed by grouptheoryiscool
1m 55s il-interpreter
il-interpreter
1m 55s
call numercis instead of interpreter CI for OCaml Interpreter #25: Commit 7d89273 pushed by grouptheoryiscool
1m 47s il-interpreter
il-interpreter
1m 47s
call numercis instead of interpreter CI for Meta-Interpreter with Type Family Removal #12: Commit 7d89273 pushed by grouptheoryiscool
2m 0s il-interpreter
il-interpreter
2m 0s
fix ocaml <-> VL store conversion CI for Meta-Interpreter with Type Family Removal #11: Commit dc2f9ae pushed by grouptheoryiscool
1m 53s il-interpreter
il-interpreter
1m 53s
fix ocaml <-> VL store conversion CI for OCaml Interpreter #24: Commit dc2f9ae pushed by grouptheoryiscool
1m 48s il-interpreter
il-interpreter
1m 48s
change interpreter_v to call the right numerics CI for OCaml Interpreter #23: Commit 07e480d pushed by grouptheoryiscool
1m 58s il-interpreter
il-interpreter
1m 58s
change interpreter_v to call the right numerics CI for Meta-Interpreter with Type Family Removal #10: Commit 07e480d pushed by grouptheoryiscool
1m 43s il-interpreter
il-interpreter
1m 43s
Merge branch 'il-animate' into il-interpreter CI for OCaml Interpreter #22: Commit 923bcb2 pushed by grouptheoryiscool
1m 37s il-interpreter
il-interpreter
1m 37s
Merge branch 'il-animate' into il-interpreter CI for Meta-Interpreter with Type Family Removal #9: Commit 923bcb2 pushed by grouptheoryiscool
1m 38s il-interpreter
il-interpreter
1m 38s
Merge branch 'il-animate' into il-interpreter CI for OCaml Interpreter #21: Commit 2887065 pushed by grouptheoryiscool
4m 38s il-interpreter
il-interpreter
4m 38s
Merge branch 'il-animate' into il-interpreter CI for Meta-Interpreter with Type Family Removal #8: Commit 2887065 pushed by grouptheoryiscool
4m 38s il-interpreter
il-interpreter
4m 38s
oops CI for OCaml Interpreter #20: Commit 4bbace5 pushed by grouptheoryiscool
24m 5s il-interpreter
il-interpreter
24m 5s
oops CI for Meta-Interpreter with Type Family Removal #7: Commit 4bbace5 pushed by grouptheoryiscool
58m 31s il-interpreter
il-interpreter
58m 31s
add slow returns CI for Meta-Interpreter with Type Family Removal #6: Commit 0343c67 pushed by grouptheoryiscool
57m 52s il-interpreter
il-interpreter
57m 52s
add slow returns CI for OCaml Interpreter #19: Commit 0343c67 pushed by grouptheoryiscool
22m 45s il-interpreter
il-interpreter
22m 45s
more parsing; print results CI for Meta-Interpreter with Type Family Removal #5: Commit 8756983 pushed by grouptheoryiscool
49m 28s il-interpreter
il-interpreter
49m 28s
more parsing; print results CI for OCaml Interpreter #18: Commit 8756983 pushed by grouptheoryiscool
22m 32s il-interpreter
il-interpreter
22m 32s
fix numeric inv-zbytes CI for Meta-Interpreter with Type Family Removal #4: Commit e8b6b8d pushed by grouptheoryiscool
1h 3m 7s il-interpreter
il-interpreter
1h 3m 7s