]>
2021-01-30 | Jonas Nick | Merge #864: Add support for Cirrus CI | tree | commitdiff |
2021-01-29 | Jonas Nick | ci: Refactor Nix shell files | tree | commitdiff |
2021-01-29 | Tim Ruffing | ci: Remove support for Travis CI | tree | commitdiff |
2021-01-29 | Tim Ruffing | ci: Add support for Cirrus CI | tree | commitdiff |