Forked from
RT-PROOFS / PROSA - Formally Proven Schedulability Analysis
Source project has a limited visibility.
-
Björn Brandenburg authoredUsing the official Coq Docker images kindly provided by the Coq community: https://github.com/coq-community/docker-coq/wiki/CI-setup Using the following CI template as a starting point: https://gitlab.com/erikmd/docker-coq-gitlab-ci-demo-1/blob/master/.gitlab-ci.yml
Björn Brandenburg authoredUsing the official Coq Docker images kindly provided by the Coq community: https://github.com/coq-community/docker-coq/wiki/CI-setup Using the following CI template as a starting point: https://gitlab.com/erikmd/docker-coq-gitlab-ci-demo-1/blob/master/.gitlab-ci.yml