-
Notifications
You must be signed in to change notification settings - Fork 24
59 lines (46 loc) · 1.6 KB
/
main.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
# 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