diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index ab35a87..1daba93 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -11,7 +11,8 @@ on: jobs: find-latest-release: uses: lf-lang/lingua-franca/.github/workflows/latest-release.yml@master - + if: ${{ inputs.compiler-ref == '' }} + check-compile: runs-on: ubuntu-latest needs: find-latest-release