All Workflows CI Release

Management

Job queue

361 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

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

Model the orchestrator in Quint, and reproduce its counterexamples

CI #172:Commit d79e399933 pushed by dev-agent

#73

2026-09-29 18:53:17 +00:00

1m14s

View workflow file

Merge pull request 'Match approvals and commands regardless of case and trailing punctuation' (#72) from case-insensitive-commands into main

CI #171:Commit 26dabc3d54 pushed by dongar

main

2026-09-29 18:02:42 +00:00

2m11s

View workflow file

Match approvals and commands regardless of case and trailing punctuation

CI #170:Commit 6afd0cc914 pushed by dev-agent

#72

2026-09-29 17:58:54 +00:00

1m15s

View workflow file

Merge pull request 'Add the abandon command' (#71) from abandon-command into main

CI #169:Commit b893fba342 pushed by dongar

main

2026-09-29 17:53:47 +00:00

1m15s

View workflow file

Add the abandon command

CI #168:Commit d68e3b3a83 pushed by dev-agent

#71

2026-09-29 17:45:07 +00:00

1m18s

View workflow file

Merge pull request 'Keep Gitea threads watched across restarts and interruptions' (#68) from pr-open-handling into main

CI #167:Commit 4e8ebea26a pushed by dongar

main

2026-09-29 17:38:47 +00:00

1m20s

View workflow file

Keep Gitea threads watched across restarts and interruptions

CI #166:Commit 3b6aae92c5 pushed by dev-agent

#68

2026-09-29 17:35:06 +00:00

1m20s

View workflow file

Merge pull request 'Don't assert the exact word in the LiteLLM smoke test' (#67) from smoke-test-no-exact-word into main

CI #165:Commit ab932f2ef4 pushed by dongar

main

2026-09-29 17:26:04 +00:00

1m17s

View workflow file

Don't assert the exact word in the LiteLLM smoke test

CI #164:Commit 1ab5d86a88 pushed by dev-agent

#67

2026-09-29 17:24:28 +00:00

1m24s

View workflow file