Martin Geisler
499657c830
Simplify the publish workflow
...
This removes a bunch of boiler-plate comments which were left from the
template I used originally.
It also simplifies the name to just “Publish” since I feel this fits
better for what we do here.
2023-01-03 15:49:21 +01:00
Martin Geisler
85c1684fe3
Include version numbers when installing mdbook
2022-12-22 15:01:55 +01:00
Martin Geisler
653a818b8b
Cache the artifacts built by the publish workflow
...
This should speed up the publication: right now we spend around 4
minutes to build `mdbook` and `mdbook-svgbob`.
With this change, we will only pay that cost once a week (caches
created by GitHub Actions last 7 days[1]).
[1]: https://docs.github.com/en/actions/using-workflows/caching-dependencies-to-speed-up-workflows#usage-limits-and-eviction-policy
2022-12-21 18:49:41 +01:00
Martin Geisler
0e6c7e30d7
Create publish.yml
...
This is for publishing the course on GitHub Pages.
2022-12-21 16:50:05 +01:00
