tree 5cb79a7b22c2cac22e1f780bdd4fbf928c229551
parent 8c35390e61dd1ebe9f5b429165df11960a416324
author Davide Pesavento <davidepesa@gmail.com> 1632974663 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1632974663 -0400

ci: add macOS 11 Big Sur

Remove all traces of Travis CI

Change-Id: Ic0a802db8a2ec5dfef093321b3bc0a7c736b5a5c