Skip to content
ci

mmwtex.c: boolean-style evaluation in conditionals (+ linting) #826

Sign in to view logs

mmwtex.c: boolean-style evaluation in conditionals (+ linting)

mmwtex.c: boolean-style evaluation in conditionals (+ linting) #826

Workflow file for this run

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