Skip to content

Deploy pages with Github Actions#92

Merged
adpaco merged 1 commit into
cedar-policy:mainfrom
adpaco:deploy-with-GA
Dec 6, 2024
Merged

Deploy pages with Github Actions#92
adpaco merged 1 commit into
cedar-policy:mainfrom
adpaco:deploy-with-GA

Conversation

@adpaco

@adpaco adpaco commented Dec 6, 2024

Copy link
Copy Markdown
Contributor

Changes the deployment procedure introduced in #91 to publish with GitHub Actions, instead of deploying from the gh-pages branch. Deployments from branches require additional permissions so using GitHub Actions is the only available option to us.

@adpaco adpaco merged commit 7fcdbb5 into cedar-policy:main Dec 6, 2024
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