bot/proposer-264-20260316-120322 #268

Closed
Archicratia wants to merge 2 commits from bot/proposer-264-20260316-120322 into main
Owner
No description provided.
Archicratia added 2 commits 2026-03-16 12:26:59 +00:00
edit: apply ticket #265 (/archicrat-ia/prologue/#p-5-85126fa5)
Some checks failed
CI / build-and-anchors (push) Successful in 41s
SMOKE / smoke (push) Successful in 3s
CI / build-and-anchors (pull_request) Has been cancelled
4622babaf9
Archicratia closed this pull request 2026-03-16 12:27:05 +00:00
Archicratia deleted branch bot/proposer-264-20260316-120322 2026-03-16 12:38:07 +00:00
Some checks failed
CI / build-and-anchors (push) Successful in 41s
SMOKE / smoke (push) Successful in 3s
CI / build-and-anchors (pull_request) Has been cancelled

Pull request closed

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#268