Update release

.github/workflows/release.yml

@@ -51,7 +51,7 @@ jobs:
         with:
           merge-multiple: true
       - name: create github release & upload binaries
-        uses: softprops/action-gh-release@v2.2.0
+        uses: softprops/action-gh-release@v2
         # scheduled/manual runs should not create a release
         if: github.event_name == 'push'
         with:

CHANGELOG.md

@@ -5,6 +5,11 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [0.54.2] - 2024-12-12
+
+## Fixed
+- Fixed GitHub release action to upload release binaries
+
 ## [0.54.1] - 2024-12-12
 
 ## Fixed

doc/src/getting-started.md

@@ -60,7 +60,7 @@ $ sudo apt-get install z3  # install z3
 $ curl -L https://foundry.paradigm.xyz | bash # install foundryup
 $ foundryup # install forge and other foundry binaries
 $ mkdir mytest && cd mytest
-$ wget https://github.com/ethereum/hevm/releases/download/release/0.54.1/hevm-x86_64-linux
+$ wget https://github.com/ethereum/hevm/releases/download/release/0.54.2/hevm-x86_64-linux
 $ chmod +x ./hevm-x86_64-linux
 $ forge init .
 $ cat <<EOF > src/contract.sol

hevm.cabal

@@ -2,7 +2,7 @@ cabal-version: 3.0
 name:
   hevm
 version:
-  0.54.1
+  0.54.2
 synopsis:
   Symbolic EVM Evaluator
 description: