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

ci: fix deploy workflow (warmup + hotpatch) #137

Merged
Archicratia merged 1 commits from chore/fix-deploy-warmup into main 2026-02-26 20:09:22 +00:00
Conversation 0 Commits 1 Files Changed 1 +111 -24
Archicratia commented 2026-02-26 20:06:28 +00:00
Owner
Copy Link
No description provided.
Archicratia added 1 commit 2026-02-26 20:06:28 +00:00
ci: fix deploy workflow (warmup + hotpatch)
All checks were successful
CI / build-and-anchors (push) Successful in 2m2s
Details
SMOKE / smoke (push) Successful in 17s
Details
390f2c33e5
Archicratia merged commit a5d68d6a7e into main 2026-02-26 20:09:22 +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#137
Delete Branch "chore/fix-deploy-warmup"

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?