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

updates from release 0.8 to master #1208

Merged
merged 17 commits into from
Apr 22, 2021
Merged

updates from release 0.8 to master #1208

merged 17 commits into from
Apr 22, 2021

Conversation

pnwamk
Copy link
Contributor

@pnwamk pnwamk commented Apr 21, 2021

No description provided.

Lisanna Dettwyler and others added 17 commits April 20, 2021 04:14
CI updates for release
1bf96a3 
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
Don't show git hash for release builds
ffb85a7
Allow int tests to fail on macos and windows
4b755d4
Fix sed in CI
33dd5f0
Fix sed for macOS
5cbbb2f
Cross-platform sed
0c46766
Merge remote-tracking branch 'origin/master' into release-0.8
33154fd
Fix release hash for container images
9dcc871
Don't install YASM
484802a
Merge branch 'master' into release-0.8
d3ec64a
Remove PyPI from the release notes until final
6d54cbb
Bump version in Cabal file to 0.8
dcf9eea
Detect tag events better in CI
7d2071e
Push container images on ref / cabal version match
abc03ea
Only run release actions when versions match
68e34cc
@RyanGlScott
chore(rpc): updates for PyPI saw-client release (#1205)
809a39c 
* chore(rpc): updates for PyPI saw-client release

* Update saw-remote-api/python/pyproject.toml

Co-authored-by: Ryan Scott <[email protected]>

* chore(rpc): update requirements.txt for python

* chore(rpc): update python client package info, add README to PyPI

Co-authored-by: Ryan Scott <[email protected]>
chore: bump saw-script version, depend on dev cryptol package
484819f
@pnwamk pnwamk requested a review from atomb April 21, 2021 23:20
lisanna-dettwyler
lisanna-dettwyler approved these changes Apr 21, 2021
View reviewed changes
Copy link
Contributor

@lisanna-dettwyler lisanna-dettwyler left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🎉

RyanGlScott
RyanGlScott approved these changes Apr 22, 2021
View reviewed changes
Copy link
Contributor

@RyanGlScott RyanGlScott left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

shipit.jpg

atomb
atomb approved these changes Apr 22, 2021
View reviewed changes
Copy link
Contributor

@atomb atomb left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks! Looks great!

@pnwamk pnwamk 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 Apr 22, 2021
@pnwamk pnwamk merged commit 9bcc7d6 into master Apr 22, 2021
@pnwamk pnwamk deleted the release-0.8-to-master branch April 22, 2021 15:40
@pnwamk pnwamk removed the PR: ready to merge Magic flag for pull requests to ask Mergify to merge given an approval and a successful CI run label Apr 22, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@lisanna-dettwyler lisanna-dettwyler lisanna-dettwyler approved these changes

@RyanGlScott RyanGlScott RyanGlScott approved these changes

@atomb atomb atomb approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@pnwamk @atomb @RyanGlScott @lisanna-dettwyler