Tools - magma/magma GitHub Wiki

Not all tools are necessary, some are duplicate and depend upon contributor preference or Magma subsystem team support.

Tool	Purpose
Docker	Containerization tooling optionally used to build developer containers in which Magma code can be built and tested, containers are additionally used for various CI phases of build and test
Docusaurus	The documentation tooling used by Magma for versioned documentation tied to releases
GitHub Actions	The tooling used by Magma for the bulk of the Continuous Integration workflows, though not all
GitHub Code Spaces	Spin up a Magma-custom developer environment in your browser (for free) - requires Magma Github organization membership for use
gitpod.io	Spin up a Magma-custom developer environment in your browser (40 hours per month free for open source projects)
IntelliJ IDEA	Editing code or documentation {C/C++, Python, Golang, Markdown, etc}
Sentry	Error monitoring (You need to be part of the lf-9c organization in Sentry.)
VirtualBox	The Virtualization tooling optionally used for either development or for integration testing of Magma changes - e.g. LTE Integration Tests
Visual Studio Code	Editing code or documentation {C/C++, Python, Golang, Markdown, etc}