Name Last Update
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
Dockerfile Loading commit data...
LICENSE-APACHE Loading commit data...
LICENSE-MIT Loading commit data...
README.md Loading commit data...
smoke.sh Loading commit data...

runner

This repository contains the Dockerfile for our GitLab CI runner. It also keeps a copy of the target files from sel4-targets.

If sel4-targets gets changed, this container needs to be rebuilt.