nisse

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

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

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

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

Add the abandon command

CI #168:Commit d68e3b3a83 pushed by dev-agent

#71

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

1m18s

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

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

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

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

Merge pull request 'Never leave the agent stranded in a working state' (#66 ) from no-stranded-states into main

CI #163:Commit 40b59e77bf pushed by dongar

main

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

1m16s

Let the live milestone test expect a waiting state after execution

CI #162:Commit b077906631 pushed by dev-agent

#66

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

1m19s

Never leave the agent stranded in a working state

CI #161:Commit 92e5452161 pushed by dev-agent

#66

2026-09-29 16:40:45 +00:00

1m20s

Merge pull request 'Publish work the executor committed itself, and gate when there is none' (#63 ) from publish-executor-commits into main

CI #160:Commit 1ccea20a10 pushed by dongar

main

2026-09-29 16:24:40 +00:00

1m14s

Publish work the executor committed itself, and gate when there is none

CI #159:Commit f97e459bc7 pushed by dev-agent

#63

2026-09-29 16:19:01 +00:00

1m15s

Merge pull request 'Handle leading mentions in Matrix messages' (#60 ) from matrix-mentions into main

CI #158:Commit 8283e9eb1c pushed by dev-agent

main

2026-09-29 16:02:32 +00:00

1m18s

Handle leading mentions in Matrix messages

CI #157:Commit b0c5f48be4 pushed by dev-agent

#60

2026-09-29 16:00:56 +00:00

1m24s

Merge pull request 'Keep a pending question across restarts, and make the restart question answerable' (#57 ) from fix-await-input-restart into main

CI #156:Commit 9620404a2a pushed by dongar

main

2026-09-29 15:55:25 +00:00

1m20s

Keep a pending question across restarts, and make the restart question answerable

CI #155:Commit e5450e3e77 pushed by dev-agent

#57

2026-09-29 15:05:01 +00:00

1m18s

Merge pull request 'Use qwen3.8-27b as the example executor' (#56 ) from executor-qwen3.8-27b into main

CI #154:Commit e5ed32bc2b pushed by dongar

main

2026-09-29 14:21:50 +00:00

1m18s

Use qwen3.8-27b as the example executor

CI #153:Commit fe73112aa2 pushed by dev-agent

#56

2026-09-29 14:20:15 +00:00

1m22s

Merge pull request 'Benchmark the finalists on all eight tasks, and archive older results' (#55 ) from bench-results-harder-tasks into main

CI #152:Commit dfa08d4900 pushed by dongar

main

2026-09-28 12:43:09 +00:00

1m17s

Benchmark the finalists on all eight tasks, and archive older results

CI #151:Commit 4b6c48cc96 pushed by dev-agent

#55

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

1m12s

Merge pull request 'Spec: prefer one local model for all roles; record host sharing, park vision' (#54 ) from spec-shared-inference-host into main

CI #150:Commit a891932739 pushed by dongar

main

2026-09-28 01:48:27 +00:00

1m16s

Spec: OpenSCAD work needs vision, in nisse-dev or its own agent

CI #149:Commit 2ab86bf0da pushed by dev-agent

#54

2026-09-28 01:34:46 +00:00

1m18s

Spec: restore the blank line before the section rule

CI #148:Commit 75d96b4197 pushed by dev-agent

#54

2026-09-28 01:33:27 +00:00

1m14s

Spec: park vision as a need of future agents, not current ones

CI #147:Commit 9239a56bd1 pushed by dev-agent

#54

2026-09-28 01:32:13 +00:00

1m21s

Spec: prefer one local model; add vision as an open decision

CI #146:Commit 50a2a75342 pushed by dev-agent

#54

2026-09-28 01:30:52 +00:00

1m19s

Spec: record sharing the local inference host as an open decision

CI #145:Commit e5c18b3bf4 pushed by dev-agent

#54

2026-09-28 01:26:57 +00:00

1m15s

Merge pull request 'Add four harder benchmark tasks' (#53 ) from harder-bench-tasks into main

CI #144:Commit 8467b8747f pushed by dev-agent

main

2026-09-28 00:32:36 +00:00

1m17s

trace-bug: say how much precision the rates need

CI #143:Commit 277bff6fcd pushed by dev-agent

#53

2026-09-28 00:10:11 +00:00

1m15s