diff options
| author | Théo Zimmermann | 2020-12-30 11:39:48 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-12-30 11:39:48 +0100 |
| commit | f4fb8a133e813c746ce95e46eba83bb70615bee5 (patch) | |
| tree | 7f1bbcb7d635233b57595bc24b3e41801a972c84 /interp | |
| parent | 30f648dc29958add42e7509a9c29f271f768e183 (diff) | |
[ci] Switch to testing the maintenance branch for Flocq 3.
This is the version that CompCert will be compatible with for the time being.
Diffstat (limited to 'interp')
0 files changed, 0 insertions, 0 deletions