Age | Commit message (Expand) | Author |
---|---|---|
2022-11-09 | fips-label.yml: Fix the script after actions/github-script upgrade | Tomas Mraz |
2022-11-03 | Update GitHub actions as suggested by dependabot | Tomas Mraz |
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 |