Migrate CI to gitlab-ci (!36) · Merge requests · detchar / tools / gwtrigfind · GitLab

Duncan Macleod requested to merge duncanmmacleod/gwtrigfind:gitlab-ci into main Jul 05, 2024

This MR implements Replace travis-ci with github actions / gitlab-ci (#38 - closed).