forked from tlaplus/tlaplus
-
Notifications
You must be signed in to change notification settings - Fork 0
67 lines (59 loc) · 1.84 KB
/
perf.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
60
61
62
63
64
65
66
67
name: Performance Tests TLC
on:
workflow_dispatch:
inputs:
git-sha:
description: 'git commit sha'
required: false
default: 'HEAD'
jobs:
build:
runs-on: self-hosted
timeout-minutes: 720
steps:
- uses: actions/checkout@v2
with:
# Number of commits to fetch. 0 indicates all history.
# jgit task nested in customBuild.xml fails without history.
fetch-depth: '0'
ref: ${{ github.event.inputs.git-sha }}
- name: Set up JDK 11
uses: actions/setup-java@v1
with:
java-version: 11.0.3
##
## Build TLC tla2tools.
##
- name: Build TLC
run: |
ant -f tlatools/org.lamport.tlatools/customBuild.xml info compile compile-test dist
- name: Download artifact from previous performance test
uses: dawidd6/action-download-artifact@v2
continue-on-error: true
with:
workflow: perf.yml
name: perf-results
path: previous
##
## Fetch CommunityModules.
##
- name: Fetch CommunityModules
run: |
wget https://github.com/tlaplus/CommunityModules/releases/latest/download/CommunityModules-deps.jar --output-document=tlatools/org.lamport.tlatools/dist/CommunityModules-deps.jar
##
## Run performance regression tests.
## Appends to a older out_run-stats.csv if it exists (cp ... is a no-op otherwise)
##
- name: Run performance tests
run: |
cp previous/out_run-stats.csv general/performance/ || :
cd general/performance
java -jar ../../tlatools/org.lamport.tlatools/dist/tla2tools.jar -config measure.tla measure.tla
##
## Upload results.
##
- name: Upload artifact
uses: actions/upload-artifact@v2
with:
name: perf-results
path: general/performance/out_run*