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
..
publish.yml	Cache the artifacts built by the publish workflow	2022-12-21 18:49:41 +01:00