Add tests with Ubuntu-latest

metamath / metamath-knife

Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.

Apache License 2.0

25 stars 9 forks source link

Closed david-a-wheeler closed 1 year ago

david-a-wheeler commented 1 year ago

I'm keeping ubuntu-20.04 to test it on an older release, but we should also test on the current LTS release (ubuntu-latest).

Signed-off-by: David A. Wheeler dwheeler@dwheeler.com

david-a-wheeler commented 1 year ago

digama0 commented 1 year ago

Oops, I just pushed a copy of this PR in fd40179, so it is redundant now.

david-a-wheeler commented 1 year ago

Haha, no problem, all that matters is that it's done.