Skip to content

Actions: kaist-plrg/spectec

Actions

CI for spectec

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-spectec.yml
62 workflow runs
62 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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 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 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 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 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
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
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
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
Fix compile error CI for spectec #57: Commit 5078c02 pushed by ShinWonho
July 22, 2024 05:43 6m 8s main
main
July 22, 2024 05:43 6m 8s
Minor changes CI for spectec #56: Commit f47031c pushed by ShinWonho
July 22, 2024 05:15 3m 44s main
main
July 22, 2024 05:15 3m 44s
Merge branch 'refactor.lhs' CI for spectec #55: Commit 65763f9 pushed by ShinWonho
July 22, 2024 05:00 3m 18s main
main
July 22, 2024 05:00 3m 18s
Consider remove_sub as semantic changing CI for spectec #54: Commit 488a719 pushed by ShinWonho
July 22, 2024 02:42 5m 50s main
main
July 22, 2024 02:42 5m 50s
Add more general walker CI for spectec #53: Commit 5300391 pushed by ShinWonho
July 22, 2024 02:26 6m 11s main
main
July 22, 2024 02:26 6m 11s
Add more general walker CI for spectec #52: Commit 6b173d0 pushed by ShinWonho
July 18, 2024 07:55 6m 1s main
main
July 18, 2024 07:55 6m 1s
Add note for InvCallE CI for spectec #51: Commit 11bbd23 pushed by ShinWonho
July 18, 2024 02:07 7m 4s main
main
July 18, 2024 02:07 7m 4s
Generalize inverse function translation CI for spectec #50: Commit 225e6e4 pushed by ShinWonho
July 16, 2024 07:06 5m 56s main
main
July 16, 2024 07:06 5m 56s
Update TEST.md CI for spectec #49: Commit 3bc3fa8 pushed by ShinWonho
July 15, 2024 06:06 6m 6s main
main
July 15, 2024 06:06 6m 6s
Merge pull request #105 from Wasm-DSL/cvtop CI for spectec #48: Commit aca1ee1 pushed by f52985
July 12, 2024 10:46 8m 47s main
main
July 12, 2024 10:46 8m 47s
Update wasm-2.0 spec CI for spectec #47: Commit c27aa4b pushed by ShinWonho
March 1, 2024 06:26 5m 21s main
main
March 1, 2024 06:26 5m 21s
Add constant type (#78) CI for spectec #46: Commit b2a4f77 pushed by ShinWonho
February 29, 2024 06:02 4m 48s main
main
February 29, 2024 06:02 4m 48s
Remove invalid pattern match CI for spectec #45: Commit da0a5bf pushed by ShinWonho
February 28, 2024 04:44 5m 34s main
main
February 28, 2024 04:44 5m 34s
Update TEST.md CI for spectec #44: Commit eb4fafe pushed by ShinWonho
February 27, 2024 12:42 4m 41s main
main
February 27, 2024 12:42 4m 41s