Commits on Source (331)
.ci/build.sh
deleted
100644 → 0
.ci/install
0 → 100755
.ci/setup.sh
deleted
100644 → 0
.ci/setup_dune
0 → 100755
.ci/setup_static_deps
0 → 100755
.ci/system_tests.sh
deleted
100644 → 0
.ci/test
0 → 100755
.ci/unit_tests.sh
deleted
100644 → 0
.ci/util
0 → 100755
.dockerignore
0 → 100644
.github/workflows/ci.yml
0 → 100644
.gitmodules
deleted
100644 → 0
.travis.yml
deleted
100644 → 0
.vscode/settings.json
0 → 100644