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
a0a1398b9b
Simplify workflow name
...
Now that we multiple jobs, this will look better in the GitHut output:
“Build / mdbook (pull_request)” and “Test / mdbook (pull_request)”.
2023-01-03 14:46:25 +01:00
Martin Geisler
1bfe3cf7a2
Run cargo test on pull requests
...
This uses the `Cargo.toml` file in the repository to test the provided
solutions.
2023-01-03 14:39:24 +01:00
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
