Skip to content

CI: Signing improvements#1671

Merged
mergify[bot] merged 3 commits intomasterfrom
ci-improvements
May 19, 2022
Merged

CI: Signing improvements#1671
mergify[bot] merged 3 commits intomasterfrom
ci-improvements

Conversation

@RyanGlScott
Copy link
Contributor

@RyanGlScott RyanGlScott added the tooling: CI Issues involving CI/CD scripts or processes label May 19, 2022
@RyanGlScott RyanGlScott requested a review from chameco May 19, 2022 15:40
Most of the changes are in GitHub's secret values. The only thing that must
change in the code is the name of the key we search for.

Fixes #1668.
@RyanGlScott RyanGlScott added the PR: ready to merge Magic flag for pull requests to ask Mergify to merge given an approval and a successful CI run label May 19, 2022
@mergify mergify bot merged commit 26fca7a into master May 19, 2022
@mergify mergify bot deleted the ci-improvements branch May 19, 2022 23:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

PR: ready to merge Magic flag for pull requests to ask Mergify to merge given an approval and a successful CI run tooling: CI Issues involving CI/CD scripts or processes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

CI: Sign all binary artifacts, not just release artifacts CI: Use Galois GPG keys to sign SAW binaries

2 participants