mirror of
https://github.com/catchorg/Catch2.git
synced 2025-04-11 20:44:48 +02:00

Using `ubuntu-latest` is triggering warning that it will soon migrate from 18.04 to 20.04, so I am migrating preventively.
Using `ubuntu-latest` is triggering warning that it will soon migrate from 18.04 to 20.04, so I am migrating preventively.