fix ci script

Signed-off-by: Guillaume W. Bres <guillaume.bressaix@gmail.com>
georust · Dec 28, 2023 · 76347c6 · 76347c6
1 parent 6fc9190
commit 76347c6
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -65,7 +65,6 @@ jobs:
           --all-features \
           --release \
           -p rinex-cli \
-          -p rnx2cggtts \
           -p rnx2crx \
           -p crx2rnx \
           -p ublox-rnx
@@ -74,19 +73,16 @@ jobs:
           crx2rnx="target/${{ matrix.target }}/release/crx2rnx.exe"
           rnx2crx="target/${{ matrix.target }}/release/rnx2crx.exe"
           rinexcli="target/${{ matrix.target }}/release/rinex-cli.exe"
-          rnx2cggtts="target/${{ matrix.target }}/release/rnx2cggtts.exe"
           ubloxrnx="target/${{ matrix.target }}/release/ublox-rnx.exe"
         else
           crx2rnx="target/${{ matrix.target }}/release/crx2rnx"
           rnx2crx="target/${{ matrix.target }}/release/rnx2crx"
           rinexcli="target/${{ matrix.target }}/release/rinex-cli"
-          rnx2cggtts="target/${{ matrix.target }}/release/rnx2cggtts"
           ubloxrnx="target/${{ matrix.target }}/release/ublox-rnx"
         fi
         echo "CRX2RNX=$crx2rnx" >> $GITHUB_ENV
         echo "RNX2CRX=$crx2rnx" >> $GITHUB_ENV
         echo "RNXCLI=$rinexcli" >> $GITHUB_ENV
-        echo "RNX2CGGTTS=$rnx2cggtts" >> $GITHUB_ENV
         echo "UBX2RNX=$ubloxrnx" >> $GITHUB_ENV
 
     - name: Determine archive name