You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
34 lines
778 B
34 lines
778 B
name: Benchmark
|
|
on:
|
|
push:
|
|
paths-ignore:
|
|
- '**.csv'
|
|
- '**.md'
|
|
- '.git*'
|
|
- 'test/**'
|
|
jobs:
|
|
benchmark:
|
|
runs-on: [self-hosted, benchmark]
|
|
timeout-minutes: 10080
|
|
steps:
|
|
- uses: actions/checkout@v1
|
|
- name: Benchmark
|
|
run: |
|
|
julia --project=@. -e 'using Pkg; Pkg.instantiate()'
|
|
make build/sysimage.so
|
|
make -C benchmark clean
|
|
make -C benchmark -kj4
|
|
make -C benchmark tables
|
|
make -C benchmark clean-mps clean-sol
|
|
- name: Upload logs
|
|
uses: actions/upload-artifact@v2
|
|
with:
|
|
name: logs
|
|
path: benchmark/results/*
|
|
- name: Upload tables & charts
|
|
uses: actions/upload-artifact@v2
|
|
with:
|
|
name: tables
|
|
path: benchmark/tables/*
|
|
|