Make Nix available to Forgejo doc coverage steps #19

Open
nsaspy wants to merge 1 commit from codex/10-forgejo-nix-path into master
Owner

Closes #10.

Forgejo run 35 failed at the first Nix command with exit 127 after the installer warned active shells need restarting. This change adds the installed Nix profile bin directory to GITHUB_PATH for later steps, and fails installation if that executable is absent.

Exact head 630f7505bc: local doc coverage 862/862, API reference generation, generated-doc drift, git diff check, and Prolog verification passed. Forgejo PR run 36 / 5084 succeeded on this head: coverage 862/862, API reference generated, drift check passed, job succeeded.

Closes #10. Forgejo run 35 failed at the first Nix command with exit 127 after the installer warned active shells need restarting. This change adds the installed Nix profile bin directory to GITHUB_PATH for later steps, and fails installation if that executable is absent. Exact head 630f7505bc9d49f5ef9117626529f49d8a3769ff: local doc coverage 862/862, API reference generation, generated-doc drift, git diff check, and Prolog verification passed. Forgejo PR run 36 / 5084 succeeded on this head: coverage 862/862, API reference generated, drift check passed, job succeeded.
Make Nix available to Forgejo doc coverage steps
All checks were successful
Docstring coverage / doc-coverage (pull_request) Successful in 4m6s
630f7505bc
All checks were successful
Docstring coverage / doc-coverage (pull_request) Successful in 4m6s
This pull request can be merged automatically.
You are not authorized to merge this pull request.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin codex/10-forgejo-nix-path:codex/10-forgejo-nix-path
git switch codex/10-forgejo-nix-path

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.

git switch master
git merge --no-ff codex/10-forgejo-nix-path
git switch codex/10-forgejo-nix-path
git rebase master
git switch master
git merge --ff-only codex/10-forgejo-nix-path
git switch codex/10-forgejo-nix-path
git rebase master
git switch master
git merge --no-ff codex/10-forgejo-nix-path
git switch master
git merge --squash codex/10-forgejo-nix-path
git switch master
git merge --ff-only codex/10-forgejo-nix-path
git switch master
git merge codex/10-forgejo-nix-path
git push origin master
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
starintel-labs/starintel-server!19
No description provided.