We used to have as a default ubuntu-latest which means as GH updates their image our build may fail - see #67.
We can instead pin the image, but the drawback is that wen we upgrade we may find more things to fix - they all show up the same time. We should discuss/ agree on the best strategy.
We used to have as a default
ubuntu-latestwhich means as GH updates their image our build may fail - see #67.We can instead pin the image, but the drawback is that wen we upgrade we may find more things to fix - they all show up the same time. We should discuss/ agree on the best strategy.