diff options
| author | Pierre-Marie Pédrot | 2018-11-17 19:20:29 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-11-17 19:20:29 +0100 |
| commit | fd184924e1d8955d6cfe7d7645dfb8776b211195 (patch) | |
| tree | 3751c72f9006290a7e7ceb6718eafd06a851295d /kernel/nativecode.ml | |
| parent | 353953555fa8be160bdbf30d062d3af31f3df434 (diff) | |
Add an image status for the CI.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions