Clean version numbers for release

CI will no longer cause the git tree to become dirty prior to build Closes #982
GaloisInc · Apr 19, 2021 · 51a6704 · 51a6704
1 parent aed415f
commit 51a6704
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/ci.sh b/.github/ci.sh
@@ -127,7 +127,7 @@ build() {
   else
     pkgs+=(saw-remote-api)
   fi
-  tee -a cabal.project > /dev/null < cabal.project.ci
+  tee -a cabal.project.local > /dev/null < cabal.project.ci
   if ! retry cabal v2-build "$@" "${pkgs[@]}"; then
     if [[ "$RUNNER_OS" == "macOS" ]]; then
       echo "Working around a dylib issue on macos by removing the cache and trying again"