Skip to content

version 1.9 public release #101

version 1.9 public release

version 1.9 public release #101

Workflow file for this run

# This is a basic workflow to help you get started with Actions
name: CI
# Controls when the action will run. Triggers the workflow on push or pull request
# events.
# on: [push, pull_request]
on: [push, pull_request]
# A workflow run is made up of one or more jobs that can run sequentially or in parallel
jobs:
# This workflow contains a single job called "build"
build:
# The type of runner that the job will run on
runs-on: ubuntu-latest
# Steps represent a sequence of tasks that will be executed as part of the job
steps:
# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
- uses: actions/checkout@v1
- name: Install Prerequisite Software
run: |
sudo apt-get install scala creduce clang-format
# Runs a single command using the runners shell
- name: Mount bazel cache
uses: actions/cache@v1
with:
path: "/home/runner/.cache/bazel"
key: bazel
- name: Build
run: |
bazelisk build //src/... //antlropt/... //test/... //copyright/... //ppr/...
# - name: Test Toy Benchmarks
# run: |
# bazelisk test --test_output=errors //test/org/perses/benchmark_toys/...
#- name: Test Reducers
# run: |
# bazelisk test //test/org/perses/reduction/...
#- name: Test Antlr OPT
# run: |
# bazelisk test //antlropt/...
#- name: Test Pair-Wise Program Reduction
# run: |
# bazelisk test //ppr/...
#- name: Test
# run: |
# ./scripts/presubmit.sh
- name: Test Installation
run: |
./scripts/test_install_perses.sh