Unverified Commit 9e5a6218 authored by Justin Carpentier's avatar Justin Carpentier Committed by GitHub
Browse files

Merge pull request #1444 from jcarpent/topic/ci

Remove travis CI + minor CI updates
parents b22c502e 8b56bd12
Pipeline #14258 passed with stage
in 152 minutes and 53 seconds