CI updates for release

- 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
GaloisInc · Apr 19, 2021 · f43210f · f43210f
1 parent 9f5fac9
commit f43210f
Show file tree

Hide file tree

Showing 5 changed files with 139 additions and 295 deletions.
diff --git a/.github/ci.sh b/.github/ci.sh
@@ -197,7 +197,6 @@ zip_dist() {
   name="${name:-"saw-$VERSION-$RUNNER_OS-x86_64"}"
   mv dist "$name"
   tar -czf "$name".tar.gz "$name"
-  sign "$name".tar.gz
   [[ -f "$name".tar.gz.sig ]] && [[ -f "$name".tar.gz ]]
 }