Following #9, I've implemented a CI workflow that can build the demo, upload the HTML files as artifacts, and deploy the demo to GitHub Pages.
Key Features:
The workflow triggers on every push.
Deployment to GitHub Pages occurs only when code is pushed to the main branch and the build succeeds.
Removed the docs directory, as it's now automatically generated.
Setup Instructions:
To enable deployment, a deploy key is required along with a secret containing the private key. You can follow these instructions from the README of the action used for deployment to set this up.
Known Issue:
There is a small issue with the project version. Docker images for Coq are only available for the latest patch of a minor version. Since Coq 8.19.2 was released 2 days ago, the Docker image for 8.19.1 is no longer available. This does not break the CI, but it slows it down because it needs to downgrade the Coq version to 8.19.1 (as it runs the install script), adding approximately 8-10 minutes of waiting time.
Following #9, I've implemented a CI workflow that can build the demo, upload the HTML files as artifacts, and deploy the demo to GitHub Pages.
Key Features:
main
branch and the build succeeds.docs
directory, as it's now automatically generated.Setup Instructions:
To enable deployment, a deploy key is required along with a secret containing the private key. You can follow these instructions from the README of the action used for deployment to set this up.
Known Issue:
There is a small issue with the project version. Docker images for Coq are only available for the latest patch of a minor version. Since Coq 8.19.2 was released 2 days ago, the Docker image for 8.19.1 is no longer available. This does not break the CI, but it slows it down because it needs to downgrade the Coq version to 8.19.1 (as it runs the install script), adding approximately 8-10 minutes of waiting time.