Skip to content

Actions: danwt/specl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
200 workflow runs
200 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

claude: fix(release): drop macos-13 x86_64 (deprecated runner) Release #9: Commit 89d5a47 pushed by danwt
48m 30s v3.0.1
v3.0.1
48m 30s
claude: fix(release): drop macos-13 x86_64 (deprecated runner) CI #169: Commit 89d5a47 pushed by danwt
43m 55s main
main
43m 55s
claude: fix(release): use native builds per architecture instead of c… Release #8: Commit 71389cf pushed by danwt
26m 8s v3.0.1
v3.0.1
26m 8s
claude: fix(release): use native builds per architecture instead of c… CI #168: Commit 71389cf pushed by danwt
42m 16s main
main
42m 16s
claude: fix(ci): increase soundness timeout, drop cross for linux builds Release #7: Commit d3d44f3 pushed by danwt
44m 54s v3.0.1
v3.0.1
44m 54s
claude: fix(ci): increase soundness timeout, drop cross for linux builds CI #167: Commit d3d44f3 pushed by danwt
56m 52s main
main
56m 52s
chore(release): v3.0.1 Release #6: Commit f284029 pushed by danwt
42m 16s v3.0.1
v3.0.1
42m 16s
chore(release): v3.0.1 CI #166: Commit f284029 pushed by danwt
30m 36s main
main
30m 36s
chore(release): v3.0.1 Release #5: Commit 9dcf713 pushed by danwt
1h 6m 33s v3.0.1
v3.0.1
1h 6m 33s
chore(release): v3.0.0 Release #4: Commit d28b895 pushed by danwt
27s v3.0.0
v3.0.0
27s
chore(release): v3.0.1 CI #165: Commit 9dcf713 pushed by danwt
30m 36s main
main
30m 36s
chore(release): v3.0.0 CI #164: Commit d28b895 pushed by danwt
30m 42s main
main
30m 42s
chore(release): update script to bump CHANGELOG and stage it CI #163: Commit e2de8ea pushed by danwt
30m 40s main
main
30m 40s
refactor(tests): rename test files for clarity CI #162: Commit c05477d pushed by danwt
30m 36s main
main
30m 36s
chore: update lockfiles CI #161: Commit eaadd5d pushed by danwt
30m 33s main
main
30m 33s
chore: update lockfiles CI #160: Commit 5bd5fd4 pushed by danwt
14m 55s main
main
14m 55s
Merge remote-tracking branch 'origin/main' CI #159: Commit 8831749 pushed by danwt
30m 39s main
main
30m 39s
chore: update files CI #158: Commit 5c93dac pushed by danwt
30m 36s main
main
30m 36s
refactor(core): remove tuple and record types Deploy docs #22: Commit 7994195 pushed by danwt
26s main
main
26s
refactor(core): remove tuple and record types CI #157: Commit 7994195 pushed by danwt
30m 31s main
main
30m 31s
feat(features): provide full language construct spec Deploy docs #21: Commit a49dbbc pushed by danwt
28s main
main
28s
feat(features): provide full language construct spec CI #156: Commit a49dbbc pushed by danwt
55m 27s main
main
55m 27s
feat(tests): add spec generators and VM edge tests Deploy docs #20: Commit 003a486 pushed by danwt
24s main
main
24s
feat(tests): add spec generators and VM edge tests CI #155: Commit 003a486 pushed by danwt
55m 54s main
main
55m 54s
feat(cli): add unified exit handling with version output CI #154: Commit 49366fd pushed by danwt
26s main
main
26s