1
0
Fork 0
Commit graph

13 commits

Author SHA1 Message Date
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