Archicratia/archicratie-edition
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

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
Conversation 0 Commits 1 Files Changed 1 +10

1 Commits

Author SHA1 Message Date
archicratie-bot
c8bbee4f74 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
Details
CI / build-and-anchors (pull_request) Successful in 39s
Details
SMOKE / smoke (push) Successful in 5s
Details
2026-03-02 20:01:55 +00:00