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

ci(deploy): fix gate bash + robust merge-proof diff + full/hotpatch auto #185

Merged
Archicratia merged 1 commits from chore/fix-deploy-gate-bash-20260303-204603 into main 2026-03-03 19:48:03 +00:00
Conversation 0 Commits 1 Files Changed 1 +64 -40
Archicratia commented 2026-03-03 19:46:44 +00:00
Owner
Copy Link
No description provided.
Archicratia added 1 commit 2026-03-03 19:46:44 +00:00
ci(deploy): fix gate bash + robust merge-proof diff + full/hotpatch auto
All checks were successful
SMOKE / smoke (push) Successful in 4s
Details
CI / build-and-anchors (push) Successful in 35s
Details
CI / build-and-anchors (pull_request) Successful in 44s
Details
9e1b704aa6
Archicratia merged commit be99460d4d into main 2026-03-03 19:48:03 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
Clear labels
cat/argument
Problème de faiblesse argumentaire, besoin de preuves et de clarté épistémique
 cat/lexique
Problème lexical, de définition, de formulation sur le corpus théorique
 cat/redondance
Problème de répétition, de redite, de redondance de propos
 cat/source
Problème de référence bibliographique sourcée (nom, titre du document, édition, date, page)
 cat/style
Problème syntaxique, stylistique ou phrastique
 scope/lexique
corrections de cohérence terminologique (glossaire)
 state/a-sourcer
Sources requises avant intégration
 state/applied
Appliqué dans le repo
 state/approved
Approuvé
 state/integre
Intégré dans le texte (ticket à fermer)
 state/needs-info
Besoin d'informations supplémentaires (manque URL/caption/etc)
 state/pret-a-integrer
Validé éditorialement, prêt pour commit
 state/recevable
Cadrage OK (chemin+ancre+proposition)
 state/rejected
Refusé
 state/to-review
À revoir
 type/comment
Modération commentaires pour Archicratie Web Edition
 type/correction
Correction rédactionnelle/paradigmatique (un paragraphe)
 type/fact-check
Vérification d’assertion, sourçage, références
 type/media
Modération de médias pour Archicratie - Web Edition
 type/reference
Modération de références pour Archicratie - Web Edition
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
Archicratia
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Archicratia/archicratie-edition#185
Delete Branch "chore/fix-deploy-gate-bash-20260303-204603"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?