Skip to content

Actions: srdjan/zttp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
112 workflow runs
112 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
docs: index the T1b design note CI #89: Commit 6d24c96 pushed by srdjan
29m 6s main
main
29m 6s
docs: accept the M4 release contract CI #88: Commit fb63bc2 pushed by srdjan
30m 41s main
main
30m 41s
added skill CI #87: Commit 68e8f5a pushed by srdjan
26m 9s main
main
26m 9s
docs(coverage): Bind publication fix evidence CI #86: Commit de81726 pushed by srdjan
27m 37s main
main
27m 37s
v0.20.0 CI #85: Commit e60b1ec pushed by srdjan
28m 40s main
main
28m 40s
docs(coverage): Bind final benchmark evidence CI #84: Commit 2441365 pushed by srdjan
24m 3s main
main
24m 3s
docs(coverage): republish after the changelog promotion CI #83: Commit 308c4df pushed by srdjan
24m 2s main
main
24m 2s
fix(runtime,zts): handle UnknownMethod in the fuzz switch, drop dead … CI #82: Commit d160221 pushed by srdjan
13m 56s main
main
13m 56s
docs(convergence): Refresh post-review provenance CI #81: Commit a147ca2 pushed by srdjan
21m 50s main
main
21m 50s
docs(convergence): republish for release CI fix Release #15: Commit 4f9bf81 pushed by srdjan
29m 23s v0.19.0
v0.19.0
29m 23s
docs(convergence): republish for release CI fix CI #80: Commit 4f9bf81 pushed by srdjan
1m 20s main
main
1m 20s
docs(convergence): Republish for 0.19.0 release Release #14: Commit 22c7ec7 pushed by srdjan
17m 52s v0.19.0
v0.19.0
17m 52s
docs(convergence): Republish for 0.19.0 release CI #79: Commit 22c7ec7 pushed by srdjan
19m 5s main
main
19m 5s
fix(runtime): Stream self-extract runtime copies CI #78: Commit a34c13a pushed by srdjan
21m 21s main
main
21m 21s
chore: ignore archify visual-check render artifacts CI #77: Commit db53292 pushed by srdjan
17m 10s main
main
17m 10s
ci: install ripgrep alongside z3 CI #76: Commit 3e43025 pushed by srdjan
15m 0s main
main
15m 0s
docs(convergence): republish after the documentation audit CI #75: Commit c11fad6 pushed by srdjan
11m 47s main
main
11m 47s
feat(pi): attach --gate-log to a run so the instrument records CI #74: Commit c23d2d6 pushed by srdjan
13m 11s main
main
13m 11s
feat(pi): count propose_change_set in the contract gate CI #73: Commit 7b05e4e pushed by srdjan
10m 33s main
main
10m 33s
docs(agent-protocol): say that a builtins row has two shapes CI #72: Commit c2d620d pushed by srdjan
11m 24s main
main
11m 24s
fix(pi): Harden compacted request lifecycle CI #71: Commit ca49423 pushed by srdjan
7m 13s main
main
7m 13s
v0.19.0 CI #70: Commit f045706 pushed by srdjan
13m 40s main
main
13m 40s
docs: correct provider defaults, drop removed WebSocket surface, clos… CI #69: Commit b697ea9 pushed by srdjan
56s main
main
56s
feat(zts): Dict<K, V> in the type system CI #68: Commit 2b73dda pushed by srdjan
12m 0s main
main
12m 0s
feat(zts): expose stable route pattern matching CI #67: Commit 712795b pushed by srdjan
17m 17s main
main
17m 17s