Robbert van der Helm
|
85e54395b3
|
Fix docs CI job
Extra indentation causes this to be treated as another line.
|
2023-01-25 18:47:23 +01:00 |
|
|
Robbert van der Helm
|
636521090e
|
Replace uses of unmaintained actions-rs/cargo
|
2023-01-25 17:52:50 +01:00 |
|
|
Robbert van der Helm
|
8a62c54307
|
Update actions to Node 16 versions
|
2023-01-25 17:52:50 +01:00 |
|
|
Robbert van der Helm
|
888b508485
|
Swap out the deprecated actions-rs/toolchain
|
2023-01-25 17:22:26 +01:00 |
|
|
Robbert van der Helm
|
c92c2a189b
|
Fix conditional caching on Windows CI runners
Oops.
|
2022-11-13 18:46:49 +01:00 |
|
|
Robbert van der Helm
|
148fc3379b
|
Change GitHub CI cache keys
They changed it so `runner.name` is no longer the 'name' of the runner
and it's now a generic string in the format `Github Actions $idx`.
|
2022-11-12 02:22:46 +01:00 |
|
|
Robbert van der Helm
|
2948c2589d
|
Cache target/ on non-Windows platforms
|
2022-11-11 03:15:05 +01:00 |
|
|
Robbert van der Helm
|
8c25d8b092
|
Don't cache the target directory
This seems to cause the Windows CI runner to blow up.
|
2022-11-05 14:19:20 +01:00 |
|
|
Robbert van der Helm
|
cec0a7a8a5
|
Prevent GitHub actions caches from blowing up
This would cause Windows builds to fail because they run out of disk
space.
|
2022-10-30 14:43:42 +01:00 |
|
|
Robbert van der Helm
|
ff692ee084
|
Install ALSA headers on the CI
|
2022-08-21 15:26:48 +02:00 |
|
|
Robbert van der Helm
|
1bb1cde913
|
Add optional Zstandard compression for state
This can be particularly useful when using the persistent fields feature
to store JSON or other large textual documents.
|
2022-08-18 13:55:48 +02:00 |
|
|
Robbert van der Helm
|
18a679ce68
|
Only run docs workflow on master branch pushes
This shouldn't be run for PRs.
|
2022-06-16 13:11:54 +02:00 |
|
|
Robbert van der Helm
|
be081f75ee
|
Install JACK headers on the CI
|
2022-06-14 19:06:39 +02:00 |
|
|
Robbert van der Helm
|
bbb73c557d
|
Enable the standalone feature in the docs
|
2022-05-13 15:05:18 +02:00 |
|
|
Robbert van der Helm
|
16ba6cffdc
|
Deploy the docs to a different repo
To avoid adding polluting the GitHub feed with a ton of noise when
watching this one.
|
2022-04-26 20:20:14 +02:00 |
|
|
Robbert van der Helm
|
fc4386a585
|
Fix refresh page HTML
|
2022-04-11 17:11:52 +02:00 |
|
|
Robbert van der Helm
|
f9ccb40fc4
|
Fix path in docs workflow
|
2022-04-11 16:59:07 +02:00 |
|
|
Robbert van der Helm
|
caadc06947
|
Rename docs workflow
|
2022-04-11 16:56:49 +02:00 |
|
|
Robbert van der Helm
|
755780f2a9
|
Generate docs on GitHub pages
|
2022-04-11 16:55:10 +02:00 |
|