Merge branch 'develop' into feature/big-ltlspec

grayswandyr · Jun 6, 2024 · e5ddedc · e5ddedc
2 parents bc8cb80 + 4017bba
commit e5ddedc
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/.github/workflows/binaries.yml b/.github/workflows/binaries.yml
@@ -35,17 +35,14 @@ jobs:
       - name: Build
         run: opam exec -- dune build --profile release
 
-      - name: Strip binaries
-        run: strip electrod.exe
-
       - name: Upload the build artifact
         uses: actions/upload-artifact@v4
         with:
           path: electrod.exe
           name: electrod-${{ matrix.os }}.exe
 
       - name: Release (if tagged)
-        uses: softprops/action-gh-release@v1
+        uses: softprops/action-gh-release@v2
         if: startsWith(github.ref, 'refs/tags/')
         with:
           files: electrod.exe