diff options
Diffstat (limited to '.github/workflows/release.yml')
| -rw-r--r-- | .github/workflows/release.yml | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 61c8fc3..170ce0f 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -9,7 +9,7 @@ jobs: release: runs-on: ubuntu-24.04 steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 with: submodules: true - name: Setup pari @@ -20,7 +20,19 @@ jobs: run: | make strip ecgen + mv ecgen ecgen-release + make clean + make STATIC=1 + mv ecgen ecgen-static + make clean + make DEBUG=1 + mv ecgen ecgen-debug + make clean + mv ecgen-release ecgen - name: Release uses: softprops/action-gh-release@v2 with: - files: ecgen + files: | + ecgen + ecgen-static + ecgen-debug |