verifiers

rewrap #8831

Sign in to view logs

Annotations

1 warning

Set up job

0s

Run actions/checkout@v3

6s

Run echo 'Starting'

0s

Run pwd

0s

Run ls -l

0s

Run g++ --version

0s

Run wget -N https://github.com/metamath/metamath-website-seed/raw/main/downloads/checkmm.cpp

0s

Run g++ -O2 -o checkmm checkmm.cpp

3s

Run ./checkmm set.mm

14s

Run ./checkmm iset.mm

3s

Post Run actions/checkout@v3

0s

Complete job

0s