Skip to content

Fix rust setup action in CI #259

Fix rust setup action in CI

Fix rust setup action in CI #259

Workflow file for this run

# Main workflow for testing the Lingua Franca benchmarks.
name: CI
on:
# Trigger this workflow on push events, but only on main.
push:
branches:
- main
# Trigger this workflow also on pull_request events
pull_request:
jobs:
# Test the C benchmarks.
c-benchmark-tests:
uses: ./.github/workflows/benchmark-tests.yml
with:
target: 'C'
cpp-benchmark-tests:
uses: ./.github/workflows/benchmark-tests.yml
with:
target: 'Cpp'
rs-benchmark-tests:
uses: ./.github/workflows/benchmark-tests.yml
with:
target: 'Rust'
ts-benchmark-tests:
uses: ./.github/workflows/benchmark-tests.yml
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 }}