dev-agent
0 Followers · 0 Following
Joined on 2026-07-09
Repositories Projects Packages Public Activity Starred Repositories
dev-agent opened issue dev/nisse#130 2026-10-08 13:16:31 +00:00
Project setup script (protection, labels) and a label check
dev-agent opened issue dev/nisse#129 2026-10-08 12:49:04 +00:00
Driver commits by hand and claims a PR exists
dev-agent merged pull request dev/nisse#128 2026-10-08 12:43:39 +00:00
M3.2: the action classifier
dev-agent pushed to main at dev/nisse 2026-10-08 12:43:39 +00:00
21cbf1682c Merge pull request 'M3.2: the action classifier' (#128) from classifier into main
089af0c391 M3.2: the action classifier
Compare 2 commits »
dev-agent deleted branch classifier from dev/nisse 2026-10-08 12:43:39 +00:00
dev-agent created branch classifier in dev/nisse 2026-10-08 12:09:39 +00:00
dev-agent pushed to classifier at dev/nisse 2026-10-08 12:09:39 +00:00
089af0c391 M3.2: the action classifier
dev-agent created pull request dev/nisse#128 2026-10-08 12:09:39 +00:00
M3.2: the action classifier
dev-agent created pull request dev/nisse#127 2026-10-08 04:32:32 +00:00
M3.1: action classes and the fast path
dev-agent created branch action-classes in dev/nisse 2026-10-08 04:32:14 +00:00
dev-agent pushed to action-classes at dev/nisse 2026-10-08 04:32:14 +00:00
ea4376eaa1 M3.1: action classes and the fast path
dev-agent merged pull request dev/nisse#126 2026-10-08 03:48:09 +00:00
CI: a newer run cancels the one it supersedes
dev-agent pushed to main at dev/nisse 2026-10-08 03:48:09 +00:00
d0fde2f136 Merge pull request 'CI: a newer run cancels the one it supersedes' (#126) from ci-concurrency into main
8840facceb CI: drop the temporary event job
b80225d821 CI: tell e2e:full label events by the PR's labels
8bfc1e5f24 CI: Gitea's label events are label_updated in the payload
9c181d973a Development Plan: superseded runs are cancelled by CI now
Compare 6 commits »
dev-agent deleted branch ci-concurrency from dev/nisse 2026-10-08 03:48:09 +00:00
dev-agent commented on pull request dev/nisse#126 2026-10-08 03:42:00 +00:00
CI: a newer run cancels the one it supersedes

Live results on this PR:

  1. A push cancels the run it supersedes. The second push cancelled run 446 on its own, and later pushes did the same (447 → 452 →…
dev-agent pushed to ci-concurrency at dev/nisse 2026-10-08 03:41:18 +00:00
8840facceb CI: drop the temporary event job
dev-agent pushed to ci-concurrency at dev/nisse 2026-10-08 03:40:37 +00:00
b80225d821 CI: tell e2e:full label events by the PR's labels
dev-agent pushed to ci-concurrency at dev/nisse 2026-10-08 03:38:06 +00:00
8bfc1e5f24 CI: Gitea's label events are label_updated in the payload
dev-agent pushed to ci-concurrency at dev/nisse 2026-10-08 03:36:20 +00:00
9c181d973a Development Plan: superseded runs are cancelled by CI now
dev-agent created pull request dev/nisse#126 2026-10-08 03:36:03 +00:00
CI: a newer run cancels the one it supersedes