You need to sign in or sign up before continuing.
Forked from
Iris / stdpp
1828 commits behind the upstream repository.
.gitmodules 77 B
[submodule "ci"]
path = ci
url = https://gitlab.mpi-sws.org/FP/iris-ci.git
[submodule "ci"]
path = ci
url = https://gitlab.mpi-sws.org/FP/iris-ci.git