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

ci: fix shell (dash) by removing pipefail #47

Merged
Archicratia merged 1 commits from fix/ci-sh-no-pipefail into master 2026-01-21 17:33:27 +00:00
Conversation 0 Commits 1 Files Changed 1 +28 -32
Archicratia commented 2026-01-21 17:33:10 +00:00
Owner
Copy Link
No description provided.
Archicratia added 1 commit 2026-01-21 17:33:11 +00:00
ci: fix shell (dash) by removing pipefail
Some checks failed
CI / build-and-anchors (push) Failing after 42s
Details
CI / build-and-anchors (pull_request) Failing after 36s
Details
9a59e9a6cf
Archicratia merged commit cec0a75fc8 into master 2026-01-21 17:33:27 +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#47
Delete Branch "fix/ci-sh-no-pipefail"

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?