Skip to content

Actions: kaist-plrg/spectec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
145 workflow runs
145 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Flatten ifs of normal blocks into conjuction .github/workflows/ci-spec.yml #42: Commit c7ddf3b pushed by f52985
August 29, 2024 12:02 Failure fix-ctx
fix-ctx
August 29, 2024 12:02 Failure
Merge pull request #113 from Wasm-DSL/exn CI for interpreter & tests #5: Commit 5c8b747 pushed by f52985
August 26, 2024 04:21 7m 52s main
main
August 26, 2024 04:21 7m 52s
Merge pull request #113 from Wasm-DSL/exn CI for spectec #68: Commit 5c8b747 pushed by f52985
August 26, 2024 04:21 8m 54s main
main
August 26, 2024 04:21 8m 54s
Merge pull request #113 from Wasm-DSL/exn .github/workflows/ci-spec.yml #41: Commit 5c8b747 pushed by f52985
August 26, 2024 04:21 Failure main
main
August 26, 2024 04:21 Failure
Subtype-based translation for rhs .github/workflows/ci-spec.yml #40: Commit 2c366b3 pushed by ShinWonho
July 24, 2024 06:44 5m 33s main
main
July 24, 2024 06:44 5m 33s
Subtype-based translation for rhs CI for spectec #67: Commit 2c366b3 pushed by ShinWonho
July 24, 2024 06:44 5m 57s main
main
July 24, 2024 06:44 5m 57s
Add more note .github/workflows/ci-spec.yml #39: Commit 7b916ce pushed by ShinWonho
July 24, 2024 04:31 5m 58s main
main
July 24, 2024 04:31 5m 58s
Add more note CI for spectec #66: Commit 7b916ce pushed by ShinWonho
July 24, 2024 04:31 5m 41s main
main
July 24, 2024 04:31 5m 41s
Subtype-based translation for inverse function .github/workflows/ci-spec.yml #38: Commit 7cca769 pushed by ShinWonho
July 24, 2024 04:12 5m 54s main
main
July 24, 2024 04:12 5m 54s
Subtype-based translation for inverse function CI for spectec #65: Commit 7cca769 pushed by ShinWonho
July 24, 2024 04:12 5m 33s main
main
July 24, 2024 04:12 5m 33s
Update free variable error message .github/workflows/ci-spec.yml #37: Commit 958a35c pushed by ShinWonho
July 23, 2024 08:48 6m 56s main
main
July 23, 2024 08:48 6m 56s
Update free variable error message CI for spectec #64: Commit 958a35c pushed by ShinWonho
July 23, 2024 08:48 5m 41s main
main
July 23, 2024 08:48 5m 41s
Merge pull request #101 from Wasm-DSL/bug.invoke-typechecks CI for spectec #63: Commit 88e8450 pushed by ShinWonho
July 23, 2024 06:59 6m 14s main
main
July 23, 2024 06:59 6m 14s
Merge pull request #101 from Wasm-DSL/bug.invoke-typechecks .github/workflows/ci-spec.yml #36: Commit 88e8450 pushed by ShinWonho
July 23, 2024 06:59 5m 39s main
main
July 23, 2024 06:59 5m 39s
Merge remote-tracking branch 'origin/main' CI for spectec #62: Commit 0836100 pushed by reduction-choi
July 23, 2024 06:34 6m 4s main
main
July 23, 2024 06:34 6m 4s
Merge remote-tracking branch 'origin/main' .github/workflows/ci-spec.yml #35: Commit 0836100 pushed by reduction-choi
July 23, 2024 06:34 5m 49s main
main
July 23, 2024 06:34 5m 49s
Generalize iter+call lhs translation .github/workflows/ci-spec.yml #34: Commit 613b53c pushed by ShinWonho
July 23, 2024 06:29 5m 59s main
main
July 23, 2024 06:29 5m 59s
Generalize iter+call lhs translation CI for spectec #61: Commit 613b53c pushed by ShinWonho
July 23, 2024 06:29 6m 19s main
main
July 23, 2024 06:29 6m 19s
Improve print_al option CI for spectec #60: Commit 755ce24 pushed by ShinWonho
July 22, 2024 08:59 5m 44s main
main
July 22, 2024 08:59 5m 44s
Improve print_al option .github/workflows/ci-spec.yml #33: Commit 755ce24 pushed by ShinWonho
July 22, 2024 08:59 6m 3s main
main
July 22, 2024 08:59 6m 3s
Add type for inverse function call and iterator CI for spectec #59: Commit 0e87bc0 pushed by ShinWonho
July 22, 2024 08:14 6m 27s main
main
July 22, 2024 08:14 6m 27s
Add type for inverse function call and iterator .github/workflows/ci-spec.yml #32: Commit 0e87bc0 pushed by ShinWonho
July 22, 2024 08:14 5m 47s main
main
July 22, 2024 08:14 5m 47s
Minor changes CI for spectec #58: Commit 1ba373f pushed by ShinWonho
July 22, 2024 05:52 5m 51s main
main
July 22, 2024 05:52 5m 51s
Minor changes .github/workflows/ci-spec.yml #31: Commit 1ba373f pushed by ShinWonho
July 22, 2024 05:52 5m 52s main
main
July 22, 2024 05:52 5m 52s
Fix compile error .github/workflows/ci-spec.yml #30: Commit 5078c02 pushed by ShinWonho
July 22, 2024 05:43 6m 0s main
main
July 22, 2024 05:43 6m 0s