diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-06-08 01:06:09 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-06-08 01:06:09 +0200 |
commit | 2bf707f9fe5259f869999347a46ec52ab096e030 (patch) | |
tree | d67539beba31421d28f3692602a3221b5e2f1347 /Makefile.extr | |
parent | dbff5b8a016fe9f6667ea007be3de764a50b620a (diff) | |
download | compcert-kvx-2bf707f9fe5259f869999347a46ec52ab096e030.tar.gz compcert-kvx-2bf707f9fe5259f869999347a46ec52ab096e030.zip |
run CI on kvx-work-ssa kvx-work-velus
Diffstat (limited to 'Makefile.extr')
0 files changed, 0 insertions, 0 deletions