Dmitry Misharov
|
3cd67d10b6
downgrade upload-artifact action to v3
|
7 mesi fa |
dependabot[bot]
|
fcf7207126
Bump actions/upload-artifact from 3 to 4
|
10 mesi fa |
Richard Levitte
|
fd80578739
Copyright year updates
|
1 anno fa |
dependabot[bot]
|
c503577a60
Bump actions/checkout from 2 to 4
|
1 anno fa |
Tomas Mraz
|
7343f68770
Update GitHub actions as suggested by dependabot
|
2 anni fa |
Matt Caswell
|
4b20cbbe1c
Update copyright year
|
2 anni fa |
Varun Sharma
|
90d6e6a3d5
ci: add GitHub token permissions for workflows
|
2 anni fa |
Pauli
|
8f3bcfdfdd
ci: add copyright header to CI scripts
|
3 anni fa |
Pauli
|
7587b5fd09
CI: remove spurious blank lines
|
3 anni fa |
Pauli
|
7b917179d0
ci: separate the config dump from the configuration command
|
3 anni fa |
Tomas Mraz
|
365d207faa
FIPS Checksums: checkout the head of the base repo as pristine
|
3 anni fa |
Tomas Mraz
|
07fb85cf61
FIPS Checksums CI: use separate directories for the checkouts
|
3 anni fa |
Tomas Mraz
|
349fd92429
FIPS checksums CI: use merge checkout to compute the new checksums
|
3 anni fa |
Tomas Mraz
|
9ad400f788
FIPS label CI: Save PR number and use it
|
3 anni fa |
Tomas Mraz
|
a51ccd5be7
Separate FIPS checksum and labelling into different workflows
|
3 anni fa |