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