proposer: apply ticket #236 #243

Merged
Archicratia merged 1 commits from bot/proposer-236-20260315-112808 into main 2026-03-15 11:55:35 +00:00
Owner

PR auto depuis ticket #236 (state/approved).\n\n- Branche: bot/proposer-236-20260315-112808\n- Commit: 0d0252cac0acaee2f86cd587ba51aebcb6f8b4d7\n\nMerge si CI OK.

PR auto depuis ticket #236 (state/approved).\n\n- Branche: bot/proposer-236-20260315-112808\n- Commit: 0d0252cac0acaee2f86cd587ba51aebcb6f8b4d7\n\nMerge si CI OK.
Archicratia added 1 commit 2026-03-15 11:28:47 +00:00
edit: apply ticket #236 (/archicrat-ia/chapitre-1/#p-400-8959d62e)
All checks were successful
CI / build-and-anchors (push) Successful in 45s
SMOKE / smoke (push) Successful in 3s
CI / build-and-anchors (pull_request) Successful in 39s
0d0252cac0
Archicratia merged commit b33c758411 into main 2026-03-15 11:55:35 +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#243