Clean up .circleci

Authored by bgamari on Jun 10 2019, 10:47 PM.

Description

Clean up .circleci

Move prepare-system.sh to .gitlab and remove everything else.

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Jun 13 2019, 1:51 AM
Parents
rGHC9721b40db9b8: gitlab-ci: Don't build PDF user's guide on AArch64
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHCd550b771f6eb: Clean up .circleci (authored by bgamari).Jun 13 2019, 1:51 AM