Skip to content

amd64-linux-main-proof #167

amd64-linux-main-proof

amd64-linux-main-proof #167

name: amd64-linux-main-proof
on:
workflow_run:
workflows: [amd64-linux-main]
types: [completed]
jobs:
proof-all:
runs-on: [self-hosted, linux, X64, amd64-main]
steps:
- name: checkout
uses: actions/checkout@v3
- name: extract and check
run: JASMIN=$(which_jasminc) EASYCRYPT=$(which_easycrypt) ECARGS=$(which_eclib) make -j$JOBS -C proof/ CI=1 default
- name: dist
run: ./scripts/ci/releaser/jdist-proof
- name: print logs
run: JASMIN=$(which_jasminc) EASYCRYPT=$(which_easycrypt) ECARGS=$(which_eclib) make -C proof/ CI=1 reporter
- name: return error if there are any errors
run: make -C proof/ CI=1 err
- name: libjade-logs-proof.tar.gz - contains non-empty logs and errors
if: always()
uses: actions/upload-artifact@v3
with:
name: libjade-logs-proof.tar.gz
path: proof/libjade-logs-proof.tar.gz
- name: libjade-dist-proof.tar.gz - contains all EasyCrypt files and test.config
if: always()
uses: actions/upload-artifact@v3
with:
name: libjade-dist-proof.tar.gz
path: libjade-dist-proof.tar.gz