Skip to content

Actions: danwt/specl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
226 workflow runs
226 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
refactor(core): rename Record to Dict CI #135: Commit bd471e4 pushed by danwt
20s main
main
20s
refactor(core): rename Record to Dict Deploy docs #13: Commit bd471e4 pushed by danwt
26s main
main
26s
feat(typechecker): support subrange indexing CI #134: Commit 8461cd3 pushed by danwt
22s main
main
22s
feat(explorer): prioritize COI-relevant actions CI #133: Commit 81c01cb pushed by danwt
15m 18s main
main
15m 18s
feat(translate): inline zero‑arg operators and flexible Init selection CI #132: Commit c884601 pushed by danwt
15m 22s main
main
15m 22s
fix(parser): handle optional semicolon after let..in CI #131: Commit 2fe50a7 pushed by danwt
15m 28s main
main
15m 28s
refactor(types,tla): generic set element types CI #130: Commit 5a71964 pushed by danwt
23s main
main
23s
feat(typechecker): treat Fn[Int, T] as sequence type CI #129: Commit 0c5b83a pushed by danwt
14m 51s main
main
14m 51s
chore: update lockfiles CI #128: Commit 46c71f2 pushed by danwt
32m 29s main
main
32m 29s
feat(cli): add explored state metrics to JSON output CI #127: Commit eb5c240 pushed by danwt
31m 11s main
main
31m 11s
claude: fix(mc): update progress depth per-result in parallel BFS CI #126: Commit ae57743 pushed by danwt
31m 1s main
main
31m 1s
Deploy docs Deploy docs #12: by danwt
29s main
main
29s
CI CI #125: by danwt
31m 8s main
main
31m 8s
feat(spec): add Kaspa bridge example Deploy docs #11: Commit 4c06558 pushed by danwt
31s main
main
31s
feat(spec): add Kaspa bridge example CI #124: Commit 4c06558 pushed by danwt
31m 3s main
main
31m 3s
refactor(spec): split and simplify Raft specification Deploy docs #10: Commit 634677b pushed by danwt
30s main
main
30s
refactor(spec): split and simplify Raft specification CI #123: Commit 634677b pushed by danwt
30m 54s main
main
30m 54s
docs(architecture): expand architecture documentation Deploy docs #9: Commit b4c66c3 pushed by danwt
27s main
main
27s
docs(architecture): expand architecture documentation CI #122: Commit b4c66c3 pushed by danwt
31m 46s main
main
31m 46s
claude: fix(docs): re-highlight specl blocks after language registration Deploy docs #8: Commit 2b6dd8a pushed by danwt
28s main
main
28s
claude: fix(docs): re-highlight specl blocks after language registration CI #121: Commit 2b6dd8a pushed by danwt
31m 38s main
main
31m 38s
claude: fix(docs): use smart-punctuation and update syntax highlighter Deploy docs #7: Commit cc6c576 pushed by danwt
23s main
main
23s
claude: fix(docs): use smart-punctuation and update syntax highlighter CI #120: Commit cc6c576 pushed by danwt
31m 12s main
main
31m 12s
chore(release): v2.0.1 Release #3: Commit 2c0dfeb pushed by danwt
29m 49s v2.0.1
v2.0.1
29m 49s
chore(release): v2.0.1 CI #119: Commit 2c0dfeb pushed by danwt
30m 7s main
main
30m 7s