aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/ci-iris-lambda-rust.sh
AgeCommit message (Expand)Author
2018-01-31CI: Run coqchk on IrisRalf Jung
2017-10-19rename ci-iris-coq -> ci-iris-lambda-rustRalf Jung
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:54:06 +0000