Skip to content

add iff symbol

add iff symbol #2523

Workflow file for this run

name: CI on Ubuntu
on: [push, pull_request]
jobs:
Build-And-Test-Ubuntu:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
- name: Setup .NET Core
uses: actions/setup-dotnet@v1
with:
dotnet-version: 8.0.x
- name: Set up JDK
uses: actions/setup-java@v1
with:
java-version: 11
- name: Cache Maven packages
uses: actions/cache@v2
with:
path: ~/.m2
key: ${{ runner.os }}-m2-${{ hashFiles('**/pom.xml') }}
restore-keys: ${{ runner.os }}-m2
- name: Build Java P runtime
run: mvn clean package -f Src/PRuntimes/PJavaRuntime
- name: Build
run: dotnet build --configuration Release
- name: Test
run: dotnet test --configuration Release