Martin Geisler
|
a9ca0c860a
|
Install specific mdbook version in build action
Like in #30, we should install a known-good version of `mdbook` and
`mdbook-svgbob` when testing PRs.
|
2022-12-23 12:42:55 +01:00 |
|
Martin Geisler
|
466b6e9cd9
|
Merge pull request #30 from google/mdbook-versions
Include version numbers when installing `mdbook`
|
2022-12-22 19:57:22 +01:00 |
|
Martin Geisler
|
11789caee2
|
Add a build workflow to test PRs
We will expand this to build/test other things in the future.
|
2022-12-22 15:22:41 +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 |
|