search

mirage / irmin

Irmin is a distributed database that follows the same design principles as Git
https://irmin.org
ISC License
1.83k stars 154 forks source link

github-ci: update to ubuntu-latest #2245

Closed metanivek closed 1 year ago

metanivek commented 1 year ago

18.04 is no longer in service so our runs were failing. Also tidied the formatting since I was in the file.