name: metamath-setmm-verifiers
on: [push]
jobs:
  # checkmm is a C++ verifier by Eric Schmidt
  # It's the simplest Metamath verifier to set up and use,
  # so let's start with it.
  checkmm:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v2
      - run: echo 'Starting'
      - run: pwd
      - run: ls -l
      - run: g++ --version
      # Get and compile checkmm, a C++ verifier by Eric Schmidt
      - run: wget -N -q http://us.metamath.org/downloads/checkmm.cpp
      - run: g++ -O2 -o checkmm checkmm.cpp
      # Use it to verify set.mm and iset.mm
      - run: ./checkmm set.mm
      - run: ./checkmm iset.mm

Add simple GitHub Actions workflow
Add simple GitHub Actions workflow

Add a simple GitHub Actions workflow.
This adds a single verifier as a single job.
The goal is to get something working in a simple way before
making anything more complex.

This uses checkmm and recomples it each time; that's the simple
way to get going.

Signed-off-by: David A. Wheeler <9ae72d22d8b894b865a7a496af4fab6320e6abb2@dwheeler.com>
