Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | ci: add GitHub token permissions for workflows | Varun Sharma | 2022-07-13 | 1 | -0/+3 |
* | ci: add copyright header to CI scripts | Pauli | 2021-09-21 | 1 | -0/+7 |
* | CI: remove spurious blank lines | Pauli | 2021-08-05 | 1 | -1/+0 |
* | ci: separate the config dump from the configuration command | Pauli | 2021-08-05 | 1 | -1/+4 |
* | Add --banner config option | Rich Salz | 2021-05-14 | 1 | -1/+1 |
* | Run-checker converted to GitHub Actions | Pauli | 2021-05-12 | 1 | -0/+31 |