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 /config_simple.sh | |
| 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 'config_simple.sh')
0 files changed, 0 insertions, 0 deletions