Skip to content

Update GitHub Action to work correctly on manual deploy. - #349

Open
stumbo wants to merge 3 commits into
mainfrom
bs33_gha_updates
Open

stumbo wants to merge 3 commits into
mainfrom
bs33_gha_updates

Conversation

@stumbo

@stumbo stumbo commented Sep 21, 2026

Copy link
Copy Markdown
Member

This change resolves an issue that occurred after a failed deploy. A subsequent attempt to do a manual deploy failed due to the conditions around deploy. This PR fixes that issue.

The deploy portion of the workflow has been updated to allow manual deploys (workflow_dispatch) and the deploy operation has also been gated to ensure deploys to production only are from the main branch. Manual deploys also are set up to run the validation phase to help ensure deploys to production are not corrupt.

This change resolves an issue that occurred after a failed deploy.  An
subsequent attempt to do a manual deploy failed due to the conditions
around deploy.  This PR fixes that issue.
@stumbo stumbo self-assigned this Sep 21, 2026
@interlisp-staging-bot

Copy link
Copy Markdown

Staging preview for this pull request is available at https://interlisp.github.io/Interlisp.staging/pr-349/

…trix

Gate deploy on build success, main ref, and skipped != true for all events including workflow_dispatch. Document expected deploy matrix in workflow comments and README, fix job count, strip trailing whitespace.
Disambiguate cache-freshness (cached bibliography matches Zotero) from newly built Pages artifact.
@interlisp-staging-bot

Copy link
Copy Markdown

Staging preview for this pull request is available at https://interlisp.github.io/Interlisp.staging/pr-349/

This branch has not been deployed

No deployments
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.

1 participant