tree ec61eae036b850b39570dce3f62e39f41ed999d7
parent 94dfcf11db01a0f5617772a8c6105f58e066e30c
author Davide Pesavento <davidepesa@gmail.com> 1632707916 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1632725284 -0400

ci: add macOS 11 Big Sur

Remove all traces of Travis CI

Change-Id: I1839ae96e41678f722cba052a56ae7c54255defd