Coverage remained the same at 93.333% when pulling 539072b7588ec3c3abefde9048b9fa4292ec22b3 on chore/move-into-github-actions into 6c732c761c7cc13754891f78942d22edfab8947b on master.
Coverage remained the same at 93.333% when pulling 539072b7588ec3c3abefde9048b9fa4292ec22b3 on chore/move-into-github-actions into 6c732c761c7cc13754891f78942d22edfab8947b on master.
Coverage remained the same at 93.333% when pulling eb7a457e23d545d62f623aad9c5dade7335e2ae4 on chore/move-into-github-actions into 6c732c761c7cc13754891f78942d22edfab8947b on master.
This PR will make us migrate from Tavis to GitHub Actions.