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 deduplication / release testing #1171

Closed
lisanna-dettwyler opened this issue Mar 30, 2021 · 0 comments
Closed

CI deduplication / release testing #1171

lisanna-dettwyler opened this issue Mar 30, 2021 · 0 comments
Assignees
@lisanna-dettwyler
Labels
tooling: build system Issues involving SAW's build system
Milestone
0.8

Comments

@lisanna-dettwyler
Copy link
Contributor

lisanna-dettwyler commented Mar 30, 2021 •
edited
Loading

  • Publish docker images -> ghcr.io
  • Deduplicate / normalize CI specification
  • Make sure release branches are getting verified correctly
@lisanna-dettwyler lisanna-dettwyler added the tooling: build system Issues involving SAW's build system label Mar 30, 2021
@lisanna-dettwyler lisanna-dettwyler added this to the 0.8 milestone Mar 30, 2021
@lisanna-dettwyler lisanna-dettwyler self-assigned this Apr 6, 2021
lisanna-dettwyler pushed a commit that referenced this issue Apr 19, 2021
CI updates for release
5f600cf 
- Publish docker images -> ghcr.io
- Deduplicate / normalize build and publish logic
- Make sure release branches are getting verified correctly

Closes #1171

- Cryptol binaries are no longer included in release tarballs

Closes #1184
lisanna-dettwyler pushed a commit that referenced this issue Apr 19, 2021
CI updates for release
a9cf49d 
- Publish docker images -> ghcr.io
- Deduplicate / normalize build and publish logic
- Make sure release branches are getting verified correctly

Closes #1171

- Cryptol binaries are no longer included in release tarballs

Closes #1184
lisanna-dettwyler pushed a commit that referenced this issue Apr 19, 2021
CI updates for release
efbf468 
- Publish docker images -> ghcr.io
- Deduplicate / normalize build and publish logic
- Make sure release branches are getting verified correctly

Closes #1171

- Cryptol binaries are no longer included in release tarballs

Closes #1184
lisanna-dettwyler pushed a commit that referenced this issue Apr 19, 2021
CI updates for release
f43210f 
- Publish docker images -> ghcr.io
- Deduplicate / normalize build and publish logic
- Make sure release branches are getting verified correctly

Closes #1171

- Cryptol binaries are no longer included in release tarballs

Closes #1184
lisanna-dettwyler pushed a commit that referenced this issue Apr 19, 2021
CI updates for release
d3111b2 
- Publish docker images -> ghcr.io
- Deduplicate / normalize build and publish logic
- Make sure release branches are getting verified correctly

Closes #1171

- Cryptol binaries are no longer included in release tarballs

Closes #1184
lisanna-dettwyler pushed a commit that referenced this issue Apr 19, 2021
CI updates for release
bd7b63a 
- Publish docker images -> ghcr.io
- Deduplicate / normalize build and publish logic
- Make sure release branches are getting verified correctly

Closes #1171

- Cryptol binaries are no longer included in release tarballs

Closes #1184
lisanna-dettwyler pushed a commit that referenced this issue Apr 19, 2021
CI updates for release
1f2e8f5 
- Publish docker images -> ghcr.io
- Deduplicate / normalize build and publish logic
- Make sure release branches are getting verified correctly

Closes #1171

- Cryptol binaries are no longer included in release tarballs

Closes #1184
lisanna-dettwyler pushed a commit that referenced this issue Apr 19, 2021
CI updates for release
9042eb8 
- Publish docker images -> ghcr.io
- Deduplicate / normalize build and publish logic
- Make sure release branches are getting verified correctly

Closes #1171

- Cryptol binaries are no longer included in release tarballs

Closes #1184
lisanna-dettwyler pushed a commit that referenced this issue Apr 19, 2021
CI updates for release
914dd4f 
- Publish docker images -> ghcr.io
- Deduplicate / normalize build and publish logic
- Make sure release branches are getting verified correctly

Closes #1171

- Cryptol binaries are no longer included in release tarballs

Closes #1184
lisanna-dettwyler pushed a commit that referenced this issue Apr 19, 2021
CI updates for release
4afb8cd 
- Publish docker images -> ghcr.io
- Deduplicate / normalize build and publish logic
- Make sure release branches are getting verified correctly

Closes #1171

- Cryptol binaries are no longer included in release tarballs

Closes #1184
lisanna-dettwyler pushed a commit that referenced this issue Apr 20, 2021
CI updates for release
6556792 
- Publish docker images -> ghcr.io
- Deduplicate / normalize build and publish logic
- Make sure release branches are getting verified correctly

Closes #1171

- Cryptol binaries are no longer included in release tarballs

Closes #1184

- Clean version numbers for release

Closes #982
lisanna-dettwyler pushed a commit that referenced this issue Apr 20, 2021
CI updates for release
245ff82 
- Publish docker images -> ghcr.io
- Deduplicate / normalize build and publish logic
- Make sure release branches are getting verified correctly

Closes #1171

- Cryptol binaries are no longer included in release tarballs

Closes #1184

- Clean version numbers for release

Closes #982
@lisanna-dettwyler lisanna-dettwyler mentioned this issue Apr 20, 2021
Closed
lisanna-dettwyler pushed a commit that referenced this issue Apr 20, 2021
CI updates for release
6095d9d 
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
pnwamk pushed a commit that referenced this issue Apr 21, 2021
CI updates for release
d6b6f0b 
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
@pnwamk pnwamk closed this as completed in 1bf96a3 Apr 22, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lisanna-dettwyler lisanna-dettwyler

Labels
tooling: build system Issues involving SAW's build system
Projects
None yet
Milestone
0.8
Development

Successfully merging a pull request may close this issue.

CI updates for release GaloisInc/saw-script
1 participant
@lisanna-dettwyler