Skip to content

Actions: srdjan/zttp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
104 workflow runs
104 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(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
docs: add the advisory plan directory CI #66: Commit 618c8c5 pushed by srdjan
17m 34s main
main
17m 34s
docs: the union normalization doc described a mechanism that was deleted CI #65: Commit 662c241 pushed by srdjan
13m 18s main
main
13m 18s
docs: publish the hole-mode comparison and close item 3's measurement CI #64: Commit 5c6bd96 pushed by srdjan
16m 24s main
main
16m 24s
docs: record the empty-baseline fail-open and widen the ambiguity it … CI #63: Commit ba97eb4 pushed by srdjan
14m 8s main
main
14m 8s
feat(zts): demote determinism when a varying value reaches the response CI #62: Commit 6623f2f pushed by srdjan
13m 50s main
main
13m 50s
chore(zts): give every silent switch arm in the proof pipeline its re… CI #61: Commit 249c678 pushed by srdjan
13m 17s main
main
13m 17s
docs: correct stale claims in the internals and roadmap prose CI #60: Commit 9ff40c9 pushed by srdjan
15m 21s main
main
15m 21s
chore(zts): retire six flag bits for semantics the subset rejects CI #59: Commit 66fe0bf pushed by srdjan
17m 33s main
main
17m 33s