Skip to content
ci

Line comments instead of block comments 11 (#150) #725

Sign in to view logs

Line comments instead of block comments 11 (#150)

Line comments instead of block comments 11 (#150) #725

Workflow file for this run

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