Skip to content

Add GitHub Actions workflow for static site deployment on dev - #212

Closed
filippi wants to merge 1 commit into
masterfrom
filippi-pages-on-dev
Closed

filippi wants to merge 1 commit into
masterfrom
filippi-pages-on-dev

Conversation

@filippi

@filippi filippi commented Oct 23, 2026

Copy link
Copy Markdown
Contributor

This workflow automates the deployment of static content to GitHub Pages when changes are pushed to the 'dev' branch or manually triggered.

@HugoFara is this good enough with this yaml ?

This workflow automates the deployment of static content to GitHub Pages when changes are pushed to the 'dev' branch or manually triggered.
@HugoFara

Copy link
Copy Markdown
Collaborator

Thanks @filippi! As is, this would publish the repo files but not the demo: the .wasm is built in CI, and there's no index.html at the root. #211's wasm-pages.yml already builds and deploys the page, so I'll switch it to deploy on push to dev instead. One setting is needed on your side: the github-pages environment only allows master, so dev has to be added under Settings → Environments → github-pages. OK to close this one?

@filippi

filippi commented Oct 23, 2026

Copy link
Copy Markdown
Contributor Author

just closed it and changed to dev

@antonio-leblanc
antonio-leblanc deleted the filippi-pages-on-dev branch October 27, 2026 14:07
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.

2 participants