diff --git a/.github/workflows/why2-project.yml b/.github/workflows/why2-project.yml index d1d3af3..3804479 100644 --- a/.github/workflows/why2-project.yml +++ b/.github/workflows/why2-project.yml @@ -45,7 +45,7 @@ jobs: run: wget -O ${{ matrix.test }}.c https://gist.github.com/ENGO150/d8419b6c31ffb68ebb930a5b41af8c73/raw - name: Build WHY2 project - run: cc ${{ matrix.test }}.c -lwhy2 -Wall -ljson-c -lcurl -o ${{ matrix.test }} + run: cc ${{ matrix.test }}.c -lwhy2 -Wall -o ${{ matrix.test }} - name: Run test run: ./${{ matrix.test }} \ No newline at end of file