diff options
Diffstat (limited to 'dev')
| -rwxr-xr-x | dev/ci/ci-iris-lambda-rust.sh (renamed from dev/ci/ci-iris-coq.sh) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/dev/ci/ci-iris-coq.sh b/dev/ci/ci-iris-lambda-rust.sh index cf24d202d9..cf24d202d9 100755 --- a/dev/ci/ci-iris-coq.sh +++ b/dev/ci/ci-iris-lambda-rust.sh |