anno: apply ticket #169 #171

Merged
Archicratia merged 1 commits from bot/anno-169-20260302-195320 into main 2026-03-02 19:59:11 +00:00
Owner

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

PR auto depuis ticket #169 (state/approved).\n\n- Branche: bot/anno-169-20260302-195320\n- Commit: d6bf645ae9c20dc8361b5d3e5e512d0bb1e5a0ca\n\nMerge si CI OK.
Archicratia added 1 commit 2026-03-02 19:53:30 +00:00
anno: apply ticket #169 (archicrat-ia/chapitre-3#p-0-ace27175 type/reference)
All checks were successful
CI / build-and-anchors (push) Successful in 47s
SMOKE / smoke (push) Successful in 4s
CI / build-and-anchors (pull_request) Successful in 42s
d6bf645ae9
Archicratia merged commit 04cdf54eb7 into main 2026-03-02 19:59:11 +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#171