John-John Tedro 90ff503ddc Replace Travis and build with GitHub Actions

2020-07-25 10:39:58 +02:00

..

build.yml

Replace Travis and build with GitHub Actions

2020-07-25 10:39:58 +02:00