anno: apply ticket #142 #146

Merged
Archicratia merged 1 commits from bot/anno-142-20260227-123430 into main 2026-02-27 14:47:45 +00:00
Owner

PR auto depuis ticket #142 (state/approved).\n\n- Branche: bot/anno-142-20260227-123430\n- Commit: 2bcea395582f76bcf544fde2905f1cbc73ccc19b\n\nMerge si CI OK.

PR auto depuis ticket #142 (state/approved).\n\n- Branche: bot/anno-142-20260227-123430\n- Commit: 2bcea395582f76bcf544fde2905f1cbc73ccc19b\n\nMerge si CI OK.
Archicratia added 1 commit 2026-02-27 12:34:39 +00:00
anno: apply ticket #142 (archicrat-ia/chapitre-1#p-0-8d27a7f5 type/reference)
All checks were successful
CI / build-and-anchors (push) Successful in 1m53s
SMOKE / smoke (push) Successful in 14s
2bcea39558
Archicratia merged commit 3d583608c2 into main 2026-02-27 14:47:45 +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#146