A EDF scheduler based on enclaves #3219
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: CI | |
| on: | |
| push: | |
| branches: | |
| - main | |
| pull_request: | |
| types: [synchronize, opened, reopened, ready_for_review, converted_to_draft] | |
| workflow_dispatch: | |
| merge_group: | |
| concurrency: | |
| group: ci-${{ github.ref }}-${{ github.event_path }} | |
| cancel-in-progress: ${{ github.ref != 'refs/heads/main' }} | |
| jobs: | |
| check-labels: | |
| uses: lf-lang/lingua-franca/.github/workflows/check-labels.yml@master | |
| if: ${{ github.event_name == 'pull_request' }} | |
| unit-tests-single: | |
| uses: ./.github/workflows/unit-tests.yml | |
| with: | |
| cmake-args: '-UNUMBER_OF_WORKERS -DLF_SINGLE_THREADED=1' | |
| unit-tests-multi: | |
| uses: ./.github/workflows/unit-tests.yml | |
| with: | |
| cmake-args: '-DNUMBER_OF_WORKERS=4 -ULF_SINGLE_THREADED' | |
| build-rti: | |
| uses: ./.github/workflows/build-rti.yml | |
| build-trace-tools: | |
| uses: ./.github/workflows/build-trace-tools.yml | |
| fetch-lf: | |
| uses: lf-lang/lingua-franca/.github/workflows/extract-ref.yml@master | |
| with: | |
| file: 'lingua-franca-ref.txt' | |
| lf-default-arduino: | |
| needs: [fetch-lf] | |
| uses: lf-lang/lingua-franca/.github/workflows/c-arduino-tests.yml@master | |
| with: | |
| runtime-ref: ${{ github.ref }} | |
| compiler-ref: ${{ needs.fetch-lf.outputs.ref }} | |
| if: ${{ !github.event.pull_request.draft || contains( github.event.pull_request.labels.*.name, 'arduino') }} | |
| lf-default-zephyr: | |
| needs: [fetch-lf] | |
| uses: lf-lang/lingua-franca/.github/workflows/c-zephyr-tests.yml@master | |
| with: | |
| runtime-ref: ${{ github.ref }} | |
| compiler-ref: ${{ needs.fetch-lf.outputs.ref }} | |
| if: ${{ !github.event.pull_request.draft ||contains( github.event.pull_request.labels.*.name, 'zephyr') }} | |
| lf-default-flexpret: | |
| needs: [fetch-lf] | |
| uses: lf-lang/lingua-franca/.github/workflows/c-flexpret-tests.yml@master | |
| with: | |
| runtime-ref: ${{ github.ref }} | |
| compiler-ref: ${{ needs.fetch-lf.outputs.ref }} | |
| if: ${{ !github.event.pull_request.draft ||contains( github.event.pull_request.labels.*.name, 'flexpret') }} | |
| lf-default: | |
| needs: [fetch-lf] | |
| uses: lf-lang/lingua-franca/.github/workflows/c-tests.yml@master | |
| with: | |
| runtime-ref: ${{ github.ref }} | |
| compiler-ref: ${{ needs.fetch-lf.outputs.ref }} | |
| all-platforms: ${{ !github.event.pull_request.draft || contains( github.event.pull_request.labels.*.name, 'mac') || contains( github.event.pull_request.labels.*.name, 'windows') }} | |
| lf-python: | |
| needs: [fetch-lf] | |
| uses: lf-lang/lingua-franca/.github/workflows/py-tests.yml@master | |
| with: | |
| reactor-c-ref: ${{ github.ref }} | |
| compiler-ref: ${{ needs.fetch-lf.outputs.ref }} | |
| if: ${{ !github.event.pull_request.draft || contains( github.event.pull_request.labels.*.name, 'python') }} | |
| lf-gedf-np: | |
| needs: [fetch-lf] | |
| uses: lf-lang/lingua-franca/.github/workflows/c-tests.yml@master | |
| with: | |
| runtime-ref: ${{ github.ref }} | |
| compiler-ref: ${{ needs.fetch-lf.outputs.ref }} | |
| scheduler: GEDF_NP | |
| all-platforms: ${{ !github.event.pull_request.draft || contains( github.event.pull_request.labels.*.name, 'mac') || contains( github.event.pull_request.labels.*.name, 'windows') }} | |
| if: ${{ !github.event.pull_request.draft || contains( github.event.pull_request.labels.*.name, 'schedulers') }} | |
| lf-adaptive: | |
| needs: [fetch-lf] | |
| uses: lf-lang/lingua-franca/.github/workflows/c-tests.yml@master | |
| with: | |
| runtime-ref: ${{ github.ref }} | |
| compiler-ref: ${{ needs.fetch-lf.outputs.ref }} | |
| scheduler: ADAPTIVE | |
| all-platforms: ${{ !github.event.pull_request.draft || contains( github.event.pull_request.labels.*.name, 'mac') || contains( github.event.pull_request.labels.*.name, 'windows') }} | |
| if: ${{ !github.event.pull_request.draft || contains( github.event.pull_request.labels.*.name, 'schedulers') }} |