1
0
Fork 0
Commit graph

9 commits

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