fixed conflicts #517
GinoGiotto
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
verifiers.yml
on: push
Check for duplicate jobs to avoid duplication
8s
Verify using checkmm (a C++ verifier by Eric Schmidt)
14s
Verify using metamath.exe (original C verifier by Norman Megill)
38s
Generate TeX output using metamath.exe
2m 50s
Verify using smetamath-rs (smm3) (Rust verifier by Stefan O'Rear)
33s
Verify using metamath-knife
47s
Verify using mmj2 (Java verifier by Mel L. O'Cat and Mario Carneiro)
17s
Verify set.mm using mmverify.py (Python verifier by Raph Levien)
5s
Verify iset.mm using mmverify.py (Python verifier by Raph Levien)
11s
Check dates in set.mm
14s
Annotations
6 errors
|
Verify set.mm using mmverify.py (Python verifier by Raph Levien)
Process completed with exit code 1.
|
|
Verify using checkmm (a C++ verifier by Eric Schmidt)
Process completed with exit code 1.
|
|
Verify using mmj2 (Java verifier by Mel L. O'Cat and Mario Carneiro)
Process completed with exit code 1.
|
|
Verify using smetamath-rs (smm3) (Rust verifier by Stefan O'Rear)
Process completed with exit code 2.
|
|
Verify using metamath.exe (original C verifier by Norman Megill)
Process completed with exit code 1.
|
|
Verify using metamath-knife
Process completed with exit code 1.
|