Skip to content

Update Duper version in README #260

Update Duper version in README

Update Duper version in README #260

Annotations

1 error and 1 warning

TestExe

failed Dec 18, 2024 in 8s
Set up job
1s
Check out repository code
0s
Install elan & Lean
5s
Download TPTP
0s
lake build
0s
Test THF
0s
Test TFF
0s
Test FOF
0s
Post Check out repository code
0s
Complete job
1s