Skip to content
ci

Line comments instead of block comments 14 #771

Sign in to view logs

Line comments instead of block comments 14

Line comments instead of block comments 14 #771

Workflow file for this run

.github/workflows/build.yml at 781161a
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