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

ci: route CI/bots to mac runner; keep deploy on NAS #155

Merged
Archicratia merged 1 commits from chore/route-ci-to-mac-runner into main 2026-02-28 14:29:36 +00:00
Conversation 0 Commits 1 Files Changed 5 +6 -11
Archicratia commented 2026-02-28 14:29:16 +00:00
Owner
Copy Link
No description provided.
Archicratia added 1 commit 2026-02-28 14:29:17 +00:00
ci: route CI/bots to mac runner; keep deploy on NAS 402ffb04cd
Archicratia merged commit e06587478d into main 2026-02-28 14:29:36 +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#155
Delete Branch "chore/route-ci-to-mac-runner"

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?