search

rems-project / cn-tutorial

7 stars 8 forks source link

Add GH action that deploys the tutorial to Pages #23

Closed septract closed 3 months ago

septract commented 3 months ago

This PR adds a GH Action that deploys the tutorial to GitHub Pages. The tutorial should be hosted publicly at https://rems-project.github.io/cn-tutorial/, and it will be redeployed on every change pushed to the repo.

Once the PR is merged to main, someone with admin rights will need to activate it as follows:

  1. Navigate to Settings > Pages.
  2. In the "Source" section, select the GitHub Actions workflow option.

I've tested this PR on a fork - see here.

Addresses https://github.com/GaloisInc/VERSE-Toolchain/issues/95