Test Opam file in CI (!81) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

The source project of this merge request has been removed.

Pierre Roux requested to merge proux/nc-coq:opam into master Jan 17, 2020

Test the Opam file for dev version in CI. That file could then be submitted to extra-dev (https://coq.inria.fr/opam/extra-dev) and a derived one pointing to release 0.4 could be submitted to released (https://coq.inria.fr/opam/released).

Fixes #45 (closed)

Edited Feb 25, 2020 by Pierre Roux