...
Where we host our code, do our project management/bug reporting.
It’s the bridge between all github action and our specific nodes (aws/lab/specific architecture..) It also gather a lot of CI stats that are displayed in the CI dashboard
- Vagrant Cloud: https://app.vagrantup.com/magmacore/boxes/magma_dev
Where we host our images for the dev VM that contains everything to develop on magma (build tools, debugging tools, dependencies, right networking, os etc..)
...