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 binaries #1354

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

CI: Use Galois GPG keys to sign binaries #1354

RyanGlScott opened this issue May 18, 2022 · 0 comments · Fixed by #1356
Labels
CI Continuous integration
Milestone
3.0.0

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.

See also GaloisInc/crucible#990 and GaloisInc/saw-script#1668.
@RyanGlScott RyanGlScott added the CI Continuous integration label May 18, 2022
This was referenced May 18, 2022
Closed
Closed
@RyanGlScott RyanGlScott added this to the 2.14.0 milestone May 19, 2022
RyanGlScott added a commit that referenced this issue May 19, 2022
@RyanGlScott
CI: Use modern GPG keys
dec9d86 
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 #1354.
@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
e630fbe 
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 #1354.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
CI Continuous integration
Projects
None yet
Milestone
3.0.0
Development

Successfully merging a pull request may close this issue.

CI: Improve signing and tag workflows GaloisInc/cryptol
1 participant
@RyanGlScott