Skip to content
ci

Add tests for underscores in URLs #788

Sign in to view logs

Add tests for underscores in URLs

Add tests for underscores in URLs #788

Workflow file for this run

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