Open metamath1 opened 9 months ago
4 files ±0 4 suites ±0 9m 6s :stopwatch: -29s 12 tests ±0 7 :heavy_check_mark: - 2 5 :zzz: +2 0 :x: ±0 40 runs ±0 20 :heavy_check_mark: - 8 20 :zzz: +8 0 :x: ±0
Results for commit 274a6474. ± Comparison against base commit ea890d99.
Seems to be important, need merge
Code Pull Requests
Please provide the following: