Skip to content

Update to new Regression Performance Testing on 'SSoelvsten/BDD-Benchmark' #712

Update to new Regression Performance Testing on 'SSoelvsten/BDD-Benchmark'

Update to new Regression Performance Testing on 'SSoelvsten/BDD-Benchmark' #712

Workflow file for this run

name: 'benchmark (pull request)'
on:
pull_request:
branches: [ main ]
jobs:
fetch-branch:
name: 'Fetch branch'
runs-on: ubuntu-latest
steps:
- id: identify
run: echo "##[set-output name=branch;]$(echo ${GITHUB_HEAD_REF#refs/heads/})"
outputs:
branch: ${{ steps.identify.outputs.branch }}
fetch-remote:
name: 'Fetch remote'
runs-on: ubuntu-latest
steps:
- id: identify
run: |
echo "##[set-output name=remote;]$(if [ ${GITHUB_REPOSITORY} == 'SSoelvsten/adiar' ]; then echo 'origin'; else echo '${GITHUB_REPOSITORY}'; fi)"
outputs:
remote: ${{ steps.identify.outputs.remote }}
# TODO: readd skip_duplicates
run_qbf:
name: 'Performance Regression: QBF ${{ matrix.category }}/${{ matrix.circuit }}'
runs-on: ubuntu-latest
needs: [fetch-branch, fetch-remote] #, skip_duplicate]
#if: ${{ needs.skip_duplicate.outputs.should_skip != 'true' }}
strategy:
fail-fast: false
matrix:
include:
- { category: breakthrough, circuit: 3x4_19_bwnib }
- { category: breakthrough, circuit: 3x5_11_bwnib }
steps:
- uses: actions/checkout@v2
with:
repository: 'ssoelvsten/bdd-benchmark'
submodules: 'recursive'
fetch-depth: '0'
- name: 'Apt install'
run: |
sudo apt update
sudo apt install libboost-all-dev
- name: 'Run regression.py'
run: |
python3 ./regression.py <<< qbf
yes
${{ matrix.category }}
${{ matrix.circuit }}
8192
origin
main
${{ needs.fetch-remote.outputs.remote }}
${{ needs.fetch-branch.outputs.branch }}
no
no
3
5
"
- name: 'Post regression_adiar.out'
if: always()
uses: machine-learning-apps/pr-comment@master
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
with:
path: ./regression_adiar.out