Skip to content

Compatibility with Lingua Franca 0.6.0 #20

Compatibility with Lingua Franca 0.6.0

Compatibility with Lingua Franca 0.6.0 #20

Workflow file for this run

name: 'CI'
on:
pull_request:
push:
branches:
- main
jobs:
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@v4
with:
submodules: true
- 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
- name: Install nix
run: sudo apt install nix cmake
- name: Run nix develop
run: |
mkdir -p ~/.config/nix
echo "experimental-features = nix-command flakes" >> ~/.config/nix/nix.conf
sudo nix develop --profile /tmp/my-build-env --extra-experimental-features nix-command --extra-experimental-features flakes
sudo nix develop /tmp/my-build-env --command bash -c "./.github/scripts/export-env.sh"
- uses: lf-lang/action-check-lf-files@main
with:
check_mode: "compile"
no_compile_flag: false
exclude_dirs: '["failing", "experimental"]'
checkout_dir: '../lingua-franca'
compiler_ref: ${{ needs.find-latest-release.outputs.ref }}
check-format:
runs-on: ubuntu-latest
needs: find-latest-release
steps:
- uses: actions/checkout@v4
- 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"
exclude_dirs: '["failing", "experimental"]'
checkout_dir: '../lingua-franca'
compiler_ref: ${{ needs.find-latest-release.outputs.ref }}