Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

CI: Use Galois GPG keys to sign SAW binaries #1668

Closed
RyanGlScott opened this issue May 18, 2022 · 0 comments · Fixed by #1671
Closed

CI: Use Galois GPG keys to sign SAW binaries #1668

RyanGlScott opened this issue May 18, 2022 · 0 comments · Fixed by #1671
Labels
tooling: CI Issues involving CI/CD scripts or processes

Comments

@RyanGlScott
Copy link
Contributor

RyanGlScott commented May 18, 2022 •
edited
Loading

We have already used these for the Cryptol 2.13.0 release, but they haven't yet made it into the CI process for SAW.

See also See also GaloisInc/cryptol#1354 and GaloisInc/crucible#990.
@RyanGlScott RyanGlScott added the tooling: CI Issues involving CI/CD scripts or processes label May 18, 2022
This was referenced May 18, 2022
Closed
Closed
RyanGlScott added a commit that referenced this issue May 19, 2022
@RyanGlScott
CI: Use modern GPG keys
cf90e96 
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 mentioned this issue May 19, 2022
Merged
RyanGlScott added a commit that referenced this issue May 19, 2022
@RyanGlScott
CI: Use modern GPG keys
7a3c3c1 
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.
@mergify mergify bot closed this as completed in #1671 May 19, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
tooling: CI Issues involving CI/CD scripts or processes
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

CI: Signing improvements GaloisInc/saw-script
1 participant
@RyanGlScott