Varun Sharma
|
c6e7f427c8
ci: add GitHub token permissions for workflows
|
%!s(int64=2) %!d(string=hai) anos |
Pauli
|
08d8c2d87e
ci: add copyright header to CI scripts
|
%!s(int64=3) %!d(string=hai) anos |
Pauli
|
7587b5fd09
CI: remove spurious blank lines
|
%!s(int64=3) %!d(string=hai) anos |
Pauli
|
7b917179d0
ci: separate the config dump from the configuration command
|
%!s(int64=3) %!d(string=hai) anos |
Rich Salz
|
d0364dcc42
Add --banner config option
|
%!s(int64=3) %!d(string=hai) anos |
Pauli
|
ab6db11e63
Run-checker converted to GitHub Actions
|
%!s(int64=3) %!d(string=hai) anos |