gricad-gitlab.univ-grenoble-alpes.fr / certicompil / velus
étoiles: 0
forks: 0
issues ouvertes:
licence: other
langage:
dépendances analysées:
4
date de création: il y a presque 5 ans
date de mise à jour: il y a environ 4 ans
dernière synchronisation: il y a 9 mois
.github/workflows/build.yml
actions
- actions/checkout v2 composite
- coq-community/docker-coq-action v1 composite
.github/workflows/velus.yml
actions
- actions/checkout v2 composite
- snickerbockers/submodules-init v4 composite