Age | Commit message (Expand) | Author |
---|---|---|
2022-07-13 | ci: add GitHub token permissions for workflows | Varun Sharma |
2021-09-21 | ci: add copyright header to CI scripts | Pauli |
2021-08-05 | CI: remove spurious blank lines | Pauli |
2021-08-05 | ci: separate the config dump from the configuration command | Pauli |
2021-05-28 | FIPS Checksums: checkout the head of the base repo as pristine | Tomas Mraz |
2021-05-27 | FIPS Checksums CI: use separate directories for the checkouts | Tomas Mraz |
2021-05-25 | FIPS checksums CI: use merge checkout to compute the new checksums | Tomas Mraz |
2021-05-21 | FIPS label CI: Save PR number and use it | Tomas Mraz |
2021-05-19 | Separate FIPS checksum and labelling into different workflows | Tomas Mraz |