CI: push to GitHub or f1 failed (run 35) #8
Loading…
Reference in a new issue
No description provided.
Delete branch "%!s()"
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?
push-github merged GitHub and f1 main cleanly but a push afterward failed (f1 status 128, github status 0) — likely a new commit landed on one side during this run.
Run: https://f1.cyberwild.org/forgeadmin/graft/actions/runs/35
Mirrored automatically, do not edit here — edit at the source instead.
Mirrored automatically, do not edit here — edit at the source instead.
via Radicle:
[test graft 2026-09-15] Le run 35 a échoué parce que le token GitHub a expiré, pas à cause du code. Il faudrait une alerte avant expiration.
graft:mirrored