Skip to content

Actions: zilinc/spectec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
227 workflow runs
227 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
Merge branch 'il-animate-merge-ocaml' into il-animate-stable CI for DL meta-interpreter on Wasm-3.0 core #120: Commit 8eae1b5 pushed by zilinc
1h 10m 12s il-animate-stable
il-animate-stable
1h 10m 12s
Merge branch 'il-animate-merge-ocaml' into il-animate-stable CI for OCaml Interpreter #8: Commit 8eae1b5 pushed by zilinc
11m 46s il-animate-stable
il-animate-stable
11m 46s
CI for DL meta-interpreter on Wasm-3.0 core CI for DL meta-interpreter on Wasm-3.0 core #119: Manually run by zilinc
1h 3m 37s il-animate-merge-ocaml
il-animate-merge-ocaml
1h 3m 37s
fix Makefile and CI CI for OCaml Interpreter #7: Commit fc09b26 pushed by zilinc
7m 59s il-animate-merge-ocaml
il-animate-merge-ocaml
7m 59s
fix Makefile CI for DL meta-interpreter on Wasm-3.0 core #118: Commit 342cab0 pushed by zilinc
2m 10s il-animate-merge-ocaml
il-animate-merge-ocaml
2m 10s
fix Makefile CI for OCaml Interpreter #6: Commit 342cab0 pushed by zilinc
2m 15s il-animate-merge-ocaml
il-animate-merge-ocaml
2m 15s
fix test set CI for OCaml Interpreter #5: Commit e3bc4c0 pushed by zilinc
3m 14s il-animate-merge-ocaml
il-animate-merge-ocaml
3m 14s
fix test set CI for DL meta-interpreter on Wasm-3.0 core #117: Commit e3bc4c0 pushed by zilinc
2m 17s il-animate-merge-ocaml
il-animate-merge-ocaml
2m 17s
runner changes CI for OCaml Interpreter #4: Commit c1a9e65 pushed by zilinc
7m 55s il-animate-merge-ocaml
il-animate-merge-ocaml
7m 55s
runner changes CI for DL meta-interpreter on Wasm-3.0 core #116: Commit c1a9e65 pushed by zilinc
58m 45s il-animate-merge-ocaml
il-animate-merge-ocaml
58m 45s
CI for DL meta-interpreter on Wasm-3.0 core CI for DL meta-interpreter on Wasm-3.0 core #115: Manually run by zilinc
27m 0s il-animate-merge-ocaml
il-animate-merge-ocaml
27m 0s
ci CI for DL meta-interpreter on Wasm-3.0 core #114: Commit 2f46237 pushed by zilinc
1m 55s il-animate-merge-ocaml
il-animate-merge-ocaml
1m 55s
ci CI for OCaml Interpreter #3: Commit 2f46237 pushed by zilinc
8m 2s il-animate-merge-ocaml
il-animate-merge-ocaml
8m 2s
new ocaml version in ci CI for Meta-Interpreter with Type Family Removal #2: Commit 61943f7 pushed by zilinc
54m 30s il-animate-merge-ocaml
il-animate-merge-ocaml
54m 30s
new ocaml version in ci CI for OCaml Interpreter #2: Commit 61943f7 pushed by zilinc
14m 38s il-animate-merge-ocaml
il-animate-merge-ocaml
14m 38s
CI for Meta-Interpreter with Type Family Removal CI for Meta-Interpreter with Type Family Removal #1: by zilinc
2m 30s il-animate-merge-ocaml
il-animate-merge-ocaml
2m 30s
CI for DL meta-interpreter on Wasm-3.0 features CI for DL meta-interpreter on Wasm-3.0 features #89: by zilinc
13m 22s il-animate-merge-ocaml
il-animate-merge-ocaml
13m 22s
CI for OCaml Interpreter CI for OCaml Interpreter #1: by zilinc
2m 21s il-animate-merge-ocaml
il-animate-merge-ocaml
2m 21s
CI for DL meta-interpreter on Wasm-3.0 core CI for DL meta-interpreter on Wasm-3.0 core #113: by zilinc
56m 32s il-animate-merge-ocaml
il-animate-merge-ocaml
56m 32s
partly revert #2162: start CI for DL meta-interpreter on Wasm-3.0 core #112: Commit 64b1e38 pushed by zilinc
52m 57s il-animate-stable
il-animate-stable
52m 57s
partly revert #2162: start CI for DL meta-interpreter on Wasm-3.0 features #88: Commit 64b1e38 pushed by zilinc
13m 12s il-animate-stable
il-animate-stable
13m 12s
partly revert #2162 CI for DL meta-interpreter on Wasm-3.0 core #111: Commit 32ccb5f pushed by zilinc
2m 14s il-animate-stable
il-animate-stable
2m 14s
partly revert #2162 CI for DL meta-interpreter on Wasm-3.0 features #87: Commit 32ccb5f pushed by zilinc
2m 14s il-animate-stable
il-animate-stable
2m 14s
[spec] Add valtype validity guard to Local_ok (#2195) CI for DL meta-interpreter on Wasm-3.0 core #110: Commit 9807c46 pushed by zilinc
47m 57s il-animate-stable
il-animate-stable
47m 57s
[spec] Add valtype validity guard to Local_ok (#2195) CI for DL meta-interpreter on Wasm-3.0 features #86: Commit 9807c46 pushed by zilinc
13m 34s il-animate-stable
il-animate-stable
13m 34s