/docker-ci

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

Primary LanguageDockerfileGNU Affero General Public License v3.0AGPL-3.0

Watchers