ci: fix the staging-check infra repo owner; docs: coverage-floor note #9
Loading…
Reference in a new issue
No description provided.
Delete branch "docs/cover-floor-wording"
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?
Two small changes:
staging-checkdispatchedjfraeysd/infra, an owner that doesn't exist (the repo isjfraeys/infra, which hasstaging-validate.yml), so every pull-request run failed at its first step with a 404.COVER_MIN, the old Makefile variable; it now points at the-minvalue inci.yml.This PR doubles as the first real end-to-end test of
staging-check(it provisions an ephemeral Linode node) now that runners reach Forgejo and artifacts upload.🤖 Generated with Claude Code
https://claude.ai/code/session_01B1FuEx3w8ax6P8QvdxxADM
docs: point the coverage-floor note at the real settingto ci: fix the staging-check infra repo owner; docs: coverage-floor noteView command line instructions
Manual merge helper
Use this merge commit message when completing the merge manually.
Checkout
From your project repository, check out a new branch and test the changes.Merge
Merge the changes and update on Forgejo.Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.