Skip to content

Actions: kaist-plrg/spectec

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

Minor refactor
.github/workflows/ci-spec.yml #4: Commit e32bdc7 pushed by ShinWonho
February 20, 2024 13:52 5m 59s main
February 20, 2024 13:52 5m 59s
Minor refactor
CI for spectec #25: Commit e32bdc7 pushed by ShinWonho
February 20, 2024 13:52 4m 21s main
February 20, 2024 13:52 4m 21s
Minor refactor
Mirror main branch to master branch #26: Commit e32bdc7 pushed by ShinWonho
February 20, 2024 13:52 12s main
February 20, 2024 13:52 12s
AL tail call
.github/workflows/ci-spec.yml #3: Commit 0a05023 pushed by ShinWonho
February 20, 2024 09:03 5m 38s main
February 20, 2024 09:03 5m 38s
AL tail call
CI for spectec #24: Commit 0a05023 pushed by ShinWonho
February 20, 2024 09:03 4m 17s main
February 20, 2024 09:03 4m 17s
AL tail call
Mirror main branch to master branch #25: Commit 0a05023 pushed by ShinWonho
February 20, 2024 09:03 12s main
February 20, 2024 09:03 12s
Small step AL interpreter
Mirror main branch to master branch #24: Commit 736b1d1 pushed by ShinWonho
February 19, 2024 20:16 14s main
February 19, 2024 20:16 14s
Small step AL interpreter
.github/workflows/ci-spec.yml #2: Commit 736b1d1 pushed by ShinWonho
February 19, 2024 20:16 4m 40s main
February 19, 2024 20:16 4m 40s
Small step AL interpreter
CI for spectec #23: Commit 736b1d1 pushed by ShinWonho
February 19, 2024 20:16 7m 25s main
February 19, 2024 20:16 7m 25s
Small step AL interpreter
CI for interpreter & tests #2: Commit 736b1d1 pushed by ShinWonho
February 19, 2024 20:16 6m 49s main
February 19, 2024 20:16 6m 49s
Fix construct
CI for spectec #22: Commit 94df799 pushed by ShinWonho
February 5, 2024 07:57 4m 39s main
February 5, 2024 07:57 4m 39s
Fix construct
Mirror main branch to master branch #23: Commit 94df799 pushed by ShinWonho
February 5, 2024 07:57 13s main
February 5, 2024 07:57 13s
Fix binopVIXX
.github/workflows/ci-spec.yml #1: Commit 678f9d0 pushed by ShinWonho
February 5, 2024 07:07 5m 35s main
February 5, 2024 07:07 5m 35s
Fix binopVIXX
CI for interpreter & tests #1: Commit 678f9d0 pushed by ShinWonho
February 5, 2024 07:07 3m 52s main
February 5, 2024 07:07 3m 52s
Fix binopVIXX
Mirror main branch to master branch #22: Commit 678f9d0 pushed by ShinWonho
February 5, 2024 07:07 13s main
February 5, 2024 07:07 13s
Fix binopVIXX
CI for spectec #21: Commit 678f9d0 pushed by ShinWonho
February 5, 2024 07:07 4m 11s main
February 5, 2024 07:07 4m 11s
Merge pull request #64 from Wasm-DSL/anchors
Mirror main branch to master branch #21: Commit d1c51e6 pushed by ShinWonho
February 5, 2024 07:05 10s main
February 5, 2024 07:05 10s
Fix binopVIXX
Mirror main branch to master branch #20: Commit 1e1f998 pushed by ShinWonho
February 5, 2024 07:04 10s main
February 5, 2024 07:04 10s
Fix binopVIXX
CI for spectec #20: Commit 1e1f998 pushed by ShinWonho
February 5, 2024 07:04 4m 39s main
February 5, 2024 07:04 4m 39s
Merge pull request #64 from Wasm-DSL/anchors
CI for spectec #19: Commit d1c51e6 pushed by ShinWonho
February 3, 2024 04:08 4m 12s main
February 3, 2024 04:08 4m 12s
Merge pull request #64 from Wasm-DSL/anchors
Mirror main branch to master branch #19: Commit d1c51e6 pushed by ShinWonho
February 3, 2024 04:08 10s main
February 3, 2024 04:08 10s
Update default vector
CI for spectec #18: Commit fba9908 pushed by ShinWonho
February 2, 2024 06:03 4m 42s main
February 2, 2024 06:03 4m 42s
Update default vector
Mirror main branch to master branch #18: Commit fba9908 pushed by ShinWonho
February 2, 2024 06:03 11s main
February 2, 2024 06:03 11s
Update TEST.md
Mirror main branch to master branch #17: Commit d82ff53 pushed by ShinWonho
February 2, 2024 05:48 13s main
February 2, 2024 05:48 13s
Update TEST.md
CI for spectec #17: Commit d82ff53 pushed by ShinWonho
February 2, 2024 05:48 4m 21s main
February 2, 2024 05:48 4m 21s