diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index ce9e9e1..676eba1 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -28,3 +28,37 @@ jobs: with: target: 'TS' + find-latest-release: + uses: lf-lang/lingua-franca/.github/workflows/latest-release.yml@master + + check-compile: + runs-on: ubuntu-latest + needs: find-latest-release + steps: + - uses: actions/checkout@v3 + - name: Set up Java 17 + run: | + echo "$JAVA_HOME_17_X64/bin" >> $GITHUB_PATH + echo "JAVA_HOME=$JAVA_HOME_17_X64" >> $GITHUB_ENV + shell: bash + - uses: lf-lang/action-check-lf-files@main + with: + check_mode: "compile" + no_compile_flag: false + compiler_ref: ${{ needs.find-latest-release.outputs.ref }} + + check-format: + runs-on: ubuntu-latest + needs: find-latest-release + steps: + - uses: actions/checkout@v3 + - name: Set up Java 17 + run: | + echo "$JAVA_HOME_17_X64/bin" >> $GITHUB_PATH + echo "JAVA_HOME=$JAVA_HOME_17_X64" >> $GITHUB_ENV + shell: bash + - uses: lf-lang/action-check-lf-files@main + with: + check_mode: "format" + compiler_ref: ${{ needs.find-latest-release.outputs.ref }} +