Skip to content

[PSym/PCover] Updates #32

[PSym/PCover] Updates

[PSym/PCover] Updates #32

Workflow file for this run

# This workflow will build and test PSym in symbolic iterative mode, and cache/restore any dependencies to improve the workflow execution time
# For more information see: https://help.github.com/actions/language-and-framework-guides/building-and-testing-java-with-maven
name: PSymIt on Ubuntu
on:
push:
pull_request:
workflow_dispatch:
inputs:
args:
description: Additional arguments
default: ""
required: false
jobs:
PSymIt-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: 6.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 PSym
working-directory: Src/PRuntimes/PSymRuntime
run: ./scripts/build.sh
- name: Test PSym
working-directory: Src/PRuntimes/PSymRuntime
run: mvn test -Dpsym.args="-sb 2 -db 2"