Skip to content

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

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

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

This job succeeded