diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index 1183edcf..10fd2068 100644
--- a/.github/workflows/build.yaml
+++ b/.github/workflows/build.yaml
@@ -31,5 +31,5 @@ jobs:
            set -x
            cd ..
            mkdir build && cd build
-           make -f ../s2e/Makefile all-release
+           make -f ../s2e/Makefile all
       - run: echo "🍏 This job's status is ${{ job.status }}."