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-05-21 | FIPS label CI: Save PR number and use it | Tomas Mraz |
2021-05-19 | fips: remove unnecessary commas to get CI working | Pauli |
2021-05-19 | Avoid failing label removal if label is not there | Tomas Mraz |
2021-05-19 | Separate FIPS checksum and labelling into different workflows | Tomas Mraz |