Skip to content

Added Slang AST viewing support for .scala files. #987

Added Slang AST viewing support for .scala files.

Added Slang AST viewing support for .scala files. #987

Workflow file for this run

name: CI
on: [push]
jobs:
build-ubuntu:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v3
with:
submodules: recursive
- name: Retrieve versions.properties
run: |
wget -q https://raw.githubusercontent.com/sireum/kekinian/master/versions.properties
- name: Cache Java
id: cache-java
uses: actions/cache@v4
with:
path: bin/linux/java
key: ${{ runner.os }}-${{ hashFiles('versions.properties') }}-java
- name: Cache Scala
id: cache-scala
uses: actions/cache@v4
with:
path: bin/scala
key: ${{ runner.os }}-${{ hashFiles('versions.properties') }}-scala
- name: Cache Coursier
id: cache-coursier
uses: actions/cache@v4
with:
path: cache/coursier
key: ${{ runner.os }}-${{ hashFiles('versions.properties') }}-coursier
- name: Test
run: |
export COURSIER_CACHE=$GITHUB_WORKSPACE/cache/coursier
cd $GITHUB_WORKSPACE
bin/build.cmd test
build-mac:
runs-on: macOS-latest
steps:
- name: Checkout
uses: actions/checkout@v3
with:
submodules: recursive
- name: Retrieve versions.properties
run: |
curl -JLOs https://raw.githubusercontent.com/sireum/kekinian/master/versions.properties
- name: Cache Java
id: cache-java
uses: actions/cache@v4
with:
path: bin/mac/java
key: ${{ runner.os }}-${{ hashFiles('versions.properties') }}-java
- name: Cache Scala
id: cache-scala
uses: actions/cache@v4
with:
path: bin/scala
key: ${{ runner.os }}-${{ hashFiles('versions.properties') }}-scala
- name: Cache Coursier
id: cache-coursier
uses: actions/cache@v4
with:
path: cache/coursier
key: ${{ runner.os }}-${{ hashFiles('versions.properties') }}-coursier
- name: Test
run: |
export COURSIER_CACHE=$GITHUB_WORKSPACE/cache/coursier
cd $GITHUB_WORKSPACE
bin/build.cmd test
build-windows:
runs-on: windows-latest
steps:
- name: Checkout
uses: actions/checkout@v3
with:
submodules: recursive
- name: Retrieve versions.properties
run: |
Invoke-WebRequest -Uri "https://raw.githubusercontent.com/sireum/kekinian/master/versions.properties" -OutFile "versions.properties"
- name: Cache Java
id: cache-java
uses: actions/cache@v4
with:
path: bin\win\java
key: ${{ runner.os }}-${{ hashFiles('versions.properties') }}-java
- name: Cache Scala
id: cache-scala
uses: actions/cache@v4
with:
path: bin\scala
key: ${{ runner.os }}-${{ hashFiles('versions.properties') }}-scala
- name: Cache Coursier
id: cache-coursier
uses: actions/cache@v4
with:
path: cache\coursier
key: ${{ runner.os }}-${{ hashFiles('versions.properties') }}-coursier
- name: Test
shell: cmd
run: |
set COURSIER_CACHE=%GITHUB_WORKSPACE%\cache\coursier
cd /d %GITHUB_WORKSPACE%
call bin\build.cmd test