This repository was archived by the owner on Jul 20, 2020. It is now read-only.

docker-ci

CI Docker container that contains all required resources to test projects on multiple platforms, namely an Ada toolchain, Muen, Genode and Linux