anno: apply ticket #172 #173

Merged
Archicratia merged 1 commits from bot/anno-172-20260302-200155 into main 2026-03-02 20:03:37 +00:00
Owner

PR auto depuis ticket #172 (state/approved).\n\n- Branche: bot/anno-172-20260302-200155\n- Commit: c8bbee4f7457b051130702042e822886ae371a53\n\nMerge si CI OK.

PR auto depuis ticket #172 (state/approved).\n\n- Branche: bot/anno-172-20260302-200155\n- Commit: c8bbee4f7457b051130702042e822886ae371a53\n\nMerge si CI OK.
Archicratia added 1 commit 2026-03-02 20:02:06 +00:00
anno: apply ticket #172 (archicrat-ia/chapitre-3#p-1-60c7ea48 type/reference)
All checks were successful
CI / build-and-anchors (push) Successful in 45s
CI / build-and-anchors (pull_request) Successful in 39s
SMOKE / smoke (push) Successful in 5s
c8bbee4f74
Archicratia merged commit 8fd53dd4d2 into main 2026-03-02 20:03:37 +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#173