Skip to content

Add build workflow for PRs#7

Merged
chfritz merged 1 commit into
mainfrom
build-on-pull-request
Aug 29, 2024
Merged

Add build workflow for PRs#7
chfritz merged 1 commit into
mainfrom
build-on-pull-request

Conversation

@mikelikesrobots
Copy link
Copy Markdown

Adds another workflow to build the site on PR into main. This should warn us if a build fails at PR stage instead of after merge

@chfritz chfritz merged commit d22e0cb into main Aug 29, 2024
@chfritz chfritz deleted the build-on-pull-request branch August 29, 2024 23:13
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.

3 participants