Skip to content

scala upgrade

scala upgrade #497

Workflow file for this run

name: CI
on: [push]
jobs:
build:
if: "! contains(toJSON(github.event.commits.*.message), 'INCOMPLETE')"
runs-on: ubuntu-latest
strategy:
max-parallel: 2
fail-fast: false
matrix:
javaVersion: ["11", "17"]
scalaVersion: ["2.13.13"]
steps:
- uses: actions/checkout@v2
- name: Set up JDK
uses: actions/setup-java@v1
with:
java-version: ${{matrix.javaVersion}}
- name: build & test
run: |
./dev/CI-latest.sh -PscalaVersion=${{matrix.scalaVersion}}
- name: Pre-release on github
uses: "marvinpinto/action-automatic-releases@latest"
if: contains(github.ref_name, 'Release/')
with:
repo_token: "${{ secrets.GITHUB_TOKEN }}"
automatic_release_tag: "${{github.ref_name}}-${{matrix.scalaVersion}}"
title: "${{github.ref_name}}-${{matrix.scalaVersion}}"
prerelease: true
files: |
LICENSE
prover-commons/core/build/libs/*.jar
macro/build/libs/*.jar
core/build/libs/*.jar
# verify/build/libs/*.jar
- name: Publish Unit Test Results
uses: EnricoMi/publish-unit-test-result-action@v1
if: always()
with:
files: |
**/test-results/**/*.xml