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
|
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 |
|