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 updates for release #1202

Closed
wants to merge 2 commits into from
Closed

CI updates for release #1202

wants to merge 2 commits into from

Commits on Apr 20, 2021

  1. CI updates for release 

    Closes #1171

- Publish docker images -> ghcr.io
- Deduplicate / normalize build and publish logic
- Make sure release branches are getting verified correctly

Closes #1184

- Cryptol binaries are no longer included in release tarballs

Closes #982

- Clean version numbers for release
    Lisanna Dettwyler committed Apr 20, 2021
    Configuration menu
    Copy the full SHA
    1bf96a3 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into lisanna/ci-release-0.8

    Lisanna Dettwyler committed Apr 20, 2021
    Configuration menu
    Copy the full SHA
    f3c928b View commit details
    Browse the repository at this point in the history