02835f199b
CI: Improve caching
...
GitHub Actions allow a total 5 GB of cache storage space per repository,
after which it will evict old caches. Tweaked cache sizes so master + a
few PRs can fit at the same time. Don't cache coverage builds as they
run weekly and with additional compiler options, so their caches would
likely be state anyway.
2021-06-13 00:19:40 +01:00
d22df4e907
CI: Add extra dist-vlt shard for better load balancing
2021-06-09 23:51:03 +01:00
58b4ed0995
CI: Do not limit parallelism
...
Free accounts can run up to 20 jobs, pro ones 40. There does not seem to
be a reason to limit ourselves to 8.
2021-06-09 22:45:25 +01:00
7ef9b32faa
CI: Use separate ccache instances for each job
2021-06-09 22:21:32 +01:00
c99f01b7fe
Converted Asciidoc documentation into reStructuredText (RST) format.
2021-03-12 13:52:47 -05:00
6e3de7bfd1
CI: exploit concurrency ( #2687 )
...
Co-authored-by: Wilson Snyder <wsnyder@wsnyder.org>
2020-12-23 18:53:05 +01:00
4db673b2ff
ci: Fix Ubuntu-18.04/16.04 runs
2020-12-10 20:22:00 -05:00
8e178ca4a9
CI: Misc style cleanups ( #2683 )
2020-12-10 12:33:26 -05:00
28ee80c310
CI: coverage action parallelism
2020-12-09 21:10:34 -05:00
9a904b97b2
CI: coverage action parallelism
2020-12-09 20:30:18 -05:00
7f6d4ac359
Use both gcc and clang in CI ( #2667 )
...
* Remove remaining TRAVIS_ variable
* Use both gcc and clang.
2020-12-05 12:36:04 +09:00
666d0ab552
Standard YAML spacing is 2 spaces.
2020-12-04 17:39:53 -05:00
b9f2400d17
Rename workflow to appease badges
2020-12-04 17:11:00 -05:00
Geza Lore
Wilson Snyder
Unai Martinez-Corral
Yutetsu TAKATSUKASA