Skip to content

Fix deploy failure: make gen-manticore-docs.sh executable (#3)#4

Open
p0dalirius wants to merge 1 commit into
mainfrom
bugfix-gen-docs-not-executable
Open

Fix deploy failure: make gen-manticore-docs.sh executable (#3)#4
p0dalirius wants to merge 1 commit into
mainfrom
bugfix-gen-docs-not-executable

Conversation

@p0dalirius

Copy link
Copy Markdown
Contributor

Linked Issue

Closes #3

Root Cause

scripts/gen-manticore-docs.sh was committed with mode 100644 (non-executable). The deploy workflow invoked it directly (run: scripts/gen-manticore-docs.sh), which requires the executable bit, so the "Generate Manticore API docs" step exited 126 with Permission denied and the deploy failed before the Hugo build.

Fix Description

Two complementary changes:

  • Set the git executable bit on scripts/gen-manticore-docs.sh (100644 -> 100755).
  • Invoke the script via bash scripts/gen-manticore-docs.sh in deploy.yml, so the step no longer depends on the file's mode and cannot regress this way again.

How Verified

  • git ls-tree HEAD scripts/gen-manticore-docs.sh now reports mode 100755.
  • The deploy step uses bash <script>, which executes regardless of the executable bit (reproduced locally: bash scripts/gen-manticore-docs.sh v1.1.5 runs and generates the docs tree).

Test Coverage

  • None: CI/workflow configuration and a file-mode change; no unit-test harness in the repo. Verified via the committed file mode and the workflow invocation.

Scope of Change

  • Files changed: .github/workflows/deploy.yml, scripts/gen-manticore-docs.sh (mode only).
  • Submodule pointer updated: no.
  • Behavioral changes outside the bug fix: none.

Risk and Rollout

Minimal and local to the deploy step. Safe to merge directly.

Set the git executable bit on scripts/gen-manticore-docs.sh (was 100644) and
invoke it via bash in the deploy workflow so the generation step no longer
exits 126 with Permission denied.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Deploy fails: gen-manticore-docs.sh is not executable

1 participant