Skip to content

Add support for Ports of Type void #257

Add support for Ports of Type void

Add support for Ports of Type void #257

Workflow file for this run

name: "Platform: PATMOS"
on:
push:
branches: [ main ]
pull_request:
jobs:
ci:
name: Build examples (${{ matrix.name }})
runs-on: ${{ matrix.runsOn }}
strategy:
matrix:
include:
- name: self-hosted
runsOn: [self-hosted]
- name: ubuntu-24.04
runsOn: ubuntu-24.04
env:
REACTOR_UC_PATH: ${{ github.workspace }}
steps:
- name: Checkout
uses: actions/checkout@v3
with:
submodules: recursive
- name: Install dependencies (self-hosted)
if: ${{ matrix.name == 'self-hosted' }}
uses: ./.github/actions/patmos-self-hosted
- name: Install dependencies (GitHub-hosted)
if: ${{ matrix.name == 'ubuntu-24.04' }}
uses: ./.github/actions/patmos
- name: Build examples
working-directory: ${{ github.workspace }}/examples/patmos
run: |
if [ "${{ matrix.name }}" == "self-hosted" ]; then
./buildAll.sh -s
else
./buildAll.sh
fi