Skip to content
ci

Add hypothesis and dv usage qualifiers to VERIFY PROOF #818

Sign in to view logs

Add hypothesis and dv usage qualifiers to VERIFY PROOF

Add hypothesis and dv usage qualifiers to VERIFY PROOF #818

Workflow file for this run

.github/workflows/build.yml at cad7fde
on:
push:
pull_request:
name: ci
jobs:
build:
name: Build + Test
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: build
run: ./build.sh
- name: test
working-directory: tests
run: env METAMATH=../metamath ./run_test.sh *.in
regression:
name: Regression Tests
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: build
run: ./build.sh -t
- name: test
run: ./metamath_test