Skip to content

Actions: Wasm-DSL/spectec

Actions

CI for spectec

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Sync upstream CI for spectec #934: Pull request #139 synchronize by rossberg
January 20, 2025 23:26 6m 16s sync-upstream
sync-upstream
January 20, 2025 23:26 6m 16s
Sync upstream CI for spectec #933: Pull request #139 synchronize by rossberg
January 20, 2025 23:08 6m 53s sync-upstream
sync-upstream
January 20, 2025 23:08 6m 53s
Sync upstream CI for spectec #932: Pull request #139 synchronize by rossberg
January 20, 2025 22:47 6m 40s sync-upstream
sync-upstream
January 20, 2025 22:47 6m 40s
Sync upstream CI for spectec #931: Pull request #139 opened by rossberg
January 20, 2025 22:38 6m 10s sync-upstream
sync-upstream
January 20, 2025 22:38 6m 10s
Pass on Execution; various fixes CI for spectec #930: Commit e97056b pushed by rossberg
January 20, 2025 19:22 23s main
main
January 20, 2025 19:22 23s
Pass on validation: remove most todos; various small fixes and tweaks CI for spectec #929: Commit 06f9087 pushed by rossberg
January 14, 2025 13:30 4m 46s main
main
January 14, 2025 13:30 4m 46s
Merge pull request #138 from Wasm-DSL/splice-modulesem CI for spectec #928: Commit 216f103 pushed by 702fbtngus
January 14, 2025 08:40 9m 6s main
main
January 14, 2025 08:40 9m 6s
Resolved minor issues of prose spec diffs CI for spectec #927: Pull request #138 synchronize by 702fbtngus
January 14, 2025 08:39 9m 21s splice-modulesem
splice-modulesem
January 14, 2025 08:39 9m 21s
Resolved minor issues of prose spec diffs CI for spectec #926: Pull request #138 synchronize by 702fbtngus
January 14, 2025 08:33 8m 36s splice-modulesem
splice-modulesem
January 14, 2025 08:33 8m 36s
Resolved minor issues of prose spec diffs CI for spectec #925: Pull request #138 opened by 702fbtngus
January 14, 2025 07:48 9m 27s splice-modulesem
splice-modulesem
January 14, 2025 07:48 9m 27s
Missing location fixed CI for spectec #924: Commit d8e33e6 pushed by 702fbtngus
January 14, 2025 06:13 9m 44s main
main
January 14, 2025 06:13 9m 44s
Merge pull request #137 from Wasm-DSL/pass.syntax.instr CI for spectec #923: Commit 782f169 pushed by rossberg
January 13, 2025 06:54 9m 34s main
main
January 13, 2025 06:54 9m 34s
Pass on instruciton syntax CI for spectec #922: Pull request #137 synchronize by f52985
January 13, 2025 05:54 9m 45s pass.syntax.instr
pass.syntax.instr
January 13, 2025 05:54 9m 45s
Pass on instruciton syntax CI for spectec #921: Pull request #137 opened by rossberg
January 10, 2025 10:36 6m 55s pass.syntax.instr
pass.syntax.instr
January 10, 2025 10:36 6m 55s
Test expects CI for spectec #920: Commit a077457 pushed by rossberg
January 10, 2025 10:06 9m 10s main
main
January 10, 2025 10:06 9m 10s
Pass on type syntax CI for spectec #919: Commit df443a2 pushed by rossberg
January 10, 2025 07:53 4m 25s main
main
January 10, 2025 07:53 4m 25s
Fix rendering of last table row CI for spectec #918: Commit fb3e5c8 pushed by rossberg
January 9, 2025 16:59 12m 27s main
main
January 9, 2025 16:59 12m 27s
Fix README; zarith library version CI for spectec #917: Commit fd54303 pushed by jaehyun1ee
December 25, 2024 08:38 9m 41s main
main
December 25, 2024 08:38 9m 41s
Rework elaboration (#136) CI for spectec #916: Commit e2d79d4 pushed by rossberg
December 23, 2024 16:03 10m 5s main
main
December 23, 2024 16:03 10m 5s
Rework elaboration CI for spectec #915: Pull request #136 opened by rossberg
December 23, 2024 14:10 9m 25s elab-redo.2
elab-redo.2
December 23, 2024 14:10 9m 25s
Merge pull request #135 from Wasm-DSL/splice-modulesem CI for spectec #914: Commit 691b9b3 pushed by 702fbtngus
December 23, 2024 02:44 11m 33s main
main
December 23, 2024 02:44 11m 33s
Resolved prose spec diffs CI for spectec #913: Pull request #135 synchronize by 702fbtngus
December 12, 2024 11:32 8m 18s splice-modulesem
splice-modulesem
December 12, 2024 11:32 8m 18s
Resolved prose spec diffs CI for spectec #912: Pull request #135 opened by 702fbtngus
December 12, 2024 11:12 9m 50s splice-modulesem
splice-modulesem
December 12, 2024 11:12 9m 50s
Tweak and fix defaultable relation CI for spectec #911: Commit 9f341fb pushed by rossberg
December 3, 2024 12:13 8m 12s main
main
December 3, 2024 12:13 8m 12s
Merge pull request #127 from Wasm-DSL/valid-instr CI for spectec #910: Commit 8cfe5be pushed by presenthee
December 2, 2024 12:41 8m 11s main
main
December 2, 2024 12:41 8m 11s