Rémi Verschelde 4b6ab10c5d

CI: Update Linux runner to Ubuntu 18.04 ...

Also cleanup needlessly specific dependencies.

2021-09-26 12:15:19 +02:00

..

workflows

CI: Update Linux runner to Ubuntu 18.04

2021-09-26 12:15:19 +02:00

dependabot.yml

Switch from Travis CI to GitHub Actions

2020-12-23 22:34:40 +01:00