Skip to content

enable GitHub Actions (+ delete old Travis-CI config) #2

enable GitHub Actions (+ delete old Travis-CI config)

enable GitHub Actions (+ delete old Travis-CI config) #2

This job succeeded