2021-08-05 | Pauli | CI: remove spurious blank lines | blob | commitdiff | raw |
2021-08-05 | Pauli | ci: separate the config dump from the configuration... | blob | commitdiff | raw | diff to current |
2021-05-14 | Rich Salz | Add --banner config option | blob | commitdiff | raw | diff to current |
2021-05-12 | Pauli | Run-checker converted to GitHub Actions | blob | commitdiff | raw | diff to current |