Remove Ubuntu 16 from GitHub Actions test matrix

metamath / metamath-knife

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

Apache License 2.0

26 stars 11 forks source link

Closed david-a-wheeler closed 3 years ago

david-a-wheeler commented 3 years ago

Ubuntu 16 isn't working properly on GitHub, and its support will be removed soon (2021-09-20), so let's remove it from the test matrix.

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