]>
2022-08-24 | CI: Modernize | tree | commitdiff | |
2021-06-12 | GH Actions: Fix Oper Guide CI | tree | commitdiff | |
2021-06-03 | GitHub CI: Ignore more text file updates | tree | commitdiff | |
2021-01-26 | CI: test on gcc-10 too | tree | commitdiff | |
2020-12-14 | Oper-guide workflow for Github Actions | tree | commitdiff | |
2020-12-14 | Start CI configuration for Github Actions | tree | commitdiff | |