diff options
author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2021-03-24 10:46:49 +0100 |
---|---|---|
committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2021-03-24 13:49:15 +0100 |
commit | f2e691354a0ea1988de3242e9bad9e4170bd5e03 (patch) | |
tree | 6e8ffe570de79fa60756b1beb9856bfd4f31ebc9 /config_simple.sh | |
parent | dcb523736e82d72b03fa8d055bf74472dba7345c (diff) | |
download | compcert-kvx-f2e691354a0ea1988de3242e9bad9e4170bd5e03.tar.gz compcert-kvx-f2e691354a0ea1988de3242e9bad9e4170bd5e03.zip |
fix CI arm and armhf
Diffstat (limited to 'config_simple.sh')
0 files changed, 0 insertions, 0 deletions