All Workflows CI Release

Management

Job queue

412 workflow runs

Actor

All actors dev-agent dongar

Status

All status Success Failure Canceled Skipped Waiting Running Blocked Canceling

Branch

All branches a17-knowledge-store main

Accept a plain-language go-ahead, announced and revision-bound

CI #202:Commit d77c142488 pushed by dev-agent

#90

2026-10-02 18:36:20 +00:00

1m16s

View workflow file

Fix inconsistencies and gaps found re-reading the architecture

CI #201:Commit 349ec794f2 pushed by dev-agent

#90

2026-10-02 18:32:04 +00:00

1m27s

View workflow file

Let the agent file issues from conversation (later addition)

CI #200:Commit acf7ce191c pushed by dev-agent

#90

2026-10-02 18:28:39 +00:00

1m17s

View workflow file

Write the agreed dev workflow into the architecture

CI #199:Commit cd2ff6d769 pushed by dev-agent

#90

2026-10-02 18:27:22 +00:00

1m19s

View workflow file

Make the vault's git history optional

CI #198:Commit 3e7edce6dc pushed by dev-agent

#90

2026-10-02 17:41:45 +00:00

1m20s

View workflow file

Make the vault's git history optional

CI #197:Commit 0ee251485b pushed by dev-agent

#90

2026-10-02 17:40:25 +00:00

1m25s

View workflow file

Make the vault's git history optional

CI #196:Commit 70f8118036 pushed by dev-agent

#90

2026-10-02 17:39:00 +00:00

1m22s

View workflow file

Replace Outline with an Obsidian-format knowledge vault on the agent host

CI #195:Commit aa97309a0c pushed by dev-agent

#90

2026-10-02 17:32:20 +00:00

1m21s

View workflow file

Revise the deployment model: an agent host and tool VMs

CI #194:Commit 230b927ebe pushed by dev-agent

#90

2026-10-02 16:37:17 +00:00

1m20s

View workflow file

Merge pull request 'Give each role its own view of the transcript (M1.2)' (#88) from transcript-views into main

CI #193:Commit 7b031179a2 pushed by dongar

main

2026-10-02 03:19:38 +00:00

1m26s

View workflow file

Give each role its own view of the transcript (M1.2)

CI #192:Commit 3fba958958 pushed by dev-agent

#88

2026-10-02 00:41:25 +00:00

1m27s

View workflow file

Merge pull request 'Work items in the state store, with a transcript bound to each (M1.1)' (#87) from work-items into main

CI #191:Commit 51e144e26b pushed by dongar

main

2026-10-01 23:37:55 +00:00

1m15s

View workflow file

Put work items in the state store, and bind the log to them (M1.1)

CI #190:Commit 83804fe02a pushed by dev-agent

#87

2026-10-01 23:22:57 +00:00

1m14s

View workflow file

Merge pull request 'Add a bring-up script and a transcript dump; let nisse-dev install on its own VM (M0.2)' (#86) from bringup-script into main

CI #189:Commit e6aaa4783d pushed by dev-agent

main

2026-10-01 16:19:47 +00:00

1m28s

View workflow file

Add a bring-up script and a transcript dump; let nisse-dev install on its own VM (M0.2)

CI #188:Commit a18321b4b0 pushed by dev-agent

#86

2026-10-01 16:17:50 +00:00

1m16s

View workflow file

Merge pull request 'Retire the old build spec, and point every reference at the architecture (M0.1)' (#85) from retire-old-spec into main

CI #187:Commit 678466c176 pushed by dongar

main

2026-10-01 00:54:13 +00:00

1m15s

View workflow file

Retire the old build spec, and point every reference at the architecture (M0.1)

CI #186:Commit 1ad0b2147d pushed by dev-agent

#85

2026-10-01 00:19:17 +00:00

1m22s

View workflow file

Merge pull request 'Propose the Development Plan' (#84) from development-plan into main

CI #185:Commit 890708594b pushed by dongar

main

2026-09-30 21:08:56 +00:00

1m14s

View workflow file

Development Plan: say which open issues are superseded, and which stay open

CI #184:Commit ae6513fd26 pushed by dev-agent

#84

2026-09-30 21:07:30 +00:00

1m15s

View workflow file

Propose the Development Plan, and mark the architecture agreed

CI #183:Commit f53b2777bc pushed by dev-agent

#84

2026-09-30 19:48:44 +00:00

1m22s

View workflow file

Merge pull request 'Draft: rewrite the architecture (docs/Architecture.md)' (#83) from architecture-rewrite into main

CI #182:Commit 73a035dfcc pushed by dongar

main

2026-09-30 19:41:38 +00:00

1m14s

View workflow file

Draft: rewrite the architecture as docs/Architecture.md

CI #181:Commit a18294fa0c pushed by dev-agent

#83

2026-09-30 15:51:44 +00:00

1m18s

View workflow file

Merge pull request 'Redeliver an interrupted review comment, and close the issue on completion' (#76) from redeliver-review-and-close-issue into main

CI #180:Commit d302d337d6 pushed by dongar

main

2026-09-29 20:38:35 +00:00

1m25s

View workflow file

Redeliver an interrupted review comment, and close the issue on completion

CI #179:Commit 848bd9f122 pushed by dev-agent

#76

2026-09-29 20:31:50 +00:00

1m16s

View workflow file

Merge pull request 'Adopt an already-published PR instead of publishing again' (#75) from adopt-published-pr into main

CI #178:Commit 83a4bd72b5 pushed by dongar

main

2026-09-29 20:16:03 +00:00

1m15s

View workflow file

Adopt an already-published PR instead of publishing again

CI #177:Commit 8bd1ac0fa2 pushed by dev-agent

#75

2026-09-29 19:59:33 +00:00

1m12s

View workflow file

Merge pull request 'Bind approvals and feedback to the revision they were about' (#74) from bind-approvals-to-revisions into main

CI #176:Commit 6fdec6922b pushed by dongar

main

2026-09-29 19:46:32 +00:00

1m21s

View workflow file

Bind approvals and feedback to the revision they were about

CI #175:Commit 97863c1939 pushed by dev-agent

#74

2026-09-29 19:14:42 +00:00

1m16s

View workflow file

Merge pull request 'Model the orchestrator in Quint, and reproduce its counterexamples' (#73) from quint-orchestrator-spec into main

CI #174:Commit 6c83839f4d pushed by dongar

main

2026-09-29 18:57:54 +00:00

1m22s

View workflow file

Ignore Apalache's output directory

CI #173:Commit 9f38e7a467 pushed by dev-agent

#73

2026-09-29 18:54:35 +00:00

1m18s

View workflow file