diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 12:33:54 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-28 12:33:54 +0100 |
commit | 8beb9b73085b2ad49dfa68a74ac3812b78d6e558 (patch) | |
tree | 063ed3ac70d4e8ee1ff6187eae6ed6a70da123b6 /.gitlab-ci.yml | |
parent | dd76ee0e14acbff78b6cd575e53d9c9d59fa6747 (diff) | |
download | compcert-kvx-8beb9b73085b2ad49dfa68a74ac3812b78d6e558.tar.gz compcert-kvx-8beb9b73085b2ad49dfa68a74ac3812b78d6e558.zip |
fix inconsistency
Diffstat (limited to '.gitlab-ci.yml')
0 files changed, 0 insertions, 0 deletions