Skip to content

Add some examples

Add some examples #57

Workflow file for this run

name: CI
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
jobs:
build:
strategy:
max-parallel: 1
matrix:
jdk: [ 11, 8, 17 ]
runs-on: ubuntu-latest
steps:
- name: Cancel Previous Runs
uses: styfle/[email protected]
with:
access_token: ${{ github.token }}
- name: Pull Request Checkout
uses: actions/checkout@v2
with:
ref: ${{github.event.pull_request.head.ref}}
repository: ${{github.event.pull_request.head.repo.full_name}}
if: github.head_ref != ''
- name: Push Checkout
uses: actions/checkout@v2
if: github.head_ref == ''
- name: Set up JDK
uses: actions/setup-java@v2
with:
java-version: ${{matrix.jdk}}
distribution: 'temurin'
- name: Build
id: build
run: ./.ci-build-without-test.sh
- name: PICO Typecheck Test
if: ${{ steps.build.outcome == 'success' }}
run: ./gradlew ImmutabilityTypecheckTest
- name: PICO Typecheck AllSystems Test
if: ${{ steps.build.outcome == 'success' }}
run: ./gradlew ImmutabilityTypecheckBaseAllSystemsTest
- name: PICO Typecheck Extended Test
if: ${{ steps.build.outcome == 'success' }}
run: ./gradlew ImmutabilityTypecheckExtendedTest
- name: PICO Glacier TypeCheck Test
if: ${{ steps.build.outcome == 'success' }}
run: ./gradlew ImmutabilityTypecheckGlacierTest
- name: PICO Inference Initial Typecheck Test
if: ${{ steps.build.outcome == 'success' }}
run: ./gradlew ImmutabilityInferenceInitialTypecheckTest
- name: PICO Inference Test
if: ${{ steps.build.outcome == 'success' }}
run: ./gradlew ImmutabilityInferenceTest
- name: PICO ReIm Inference Test
if: ${{ steps.build.outcome == 'success' }}
run: ./gradlew ImmutabilityReImInferenceTest