Skip to content

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

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

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

This job succeeded