fix(actions): harden proposer queue against duplicate batch PRs #269

Merged
Archicratia merged 1 commits from hotfix/proposer-close-verify into main 2026-03-16 12:42:53 +00:00
Owner
No description provided.
Archicratia added 1 commit 2026-03-16 12:41:44 +00:00
fix(actions): harden proposer queue against duplicate batch PRs
All checks were successful
SMOKE / smoke (push) Successful in 2s
CI / build-and-anchors (push) Successful in 40s
CI / build-and-anchors (pull_request) Successful in 39s
5d3473d66c
Archicratia merged commit 0066cf8601 into main 2026-03-16 12:42:53 +00:00
Sign in to join this conversation.
No Reviewers
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Archicratia/archicratie-edition#269