.gitlab-ci.yml · 3c3eb2b20039dfeaac52c80fd53faa3453502e87 · Lasse Blaauwbroek / PROSA - Formally Proven Schedulability Analysis

Forked from RT-PROOFS / PROSA - Formally Proven Schedulability Analysis

Source project has a limited visibility.

3 years ago

CI: run `opam update` before `opam install` · 8bf49c96

CI is failing as follows:

```
$ opam install coq-mathcomp-zify
[NOTE] It seems you have not updated your repositories for a while. Consider updating them with:
       opam update
The following dependencies couldn't be met:
  - coq-mathcomp-zify -> coq-mathcomp-algebra < 1.14~
      not available because the package is pinned to version 1.14.0
No solution found, exiting
```

8bf49c96

History

CI: run `opam update` before `opam install`

Björn Brandenburg authored 3 years ago

CI is failing as follows:

```
$ opam install coq-mathcomp-zify
[NOTE] It seems you have not updated your repositories for a while. Consider updating them with:
       opam update
The following dependencies couldn't be met:
  - coq-mathcomp-zify -> coq-mathcomp-algebra < 1.14~
      not available because the package is pinned to version 1.14.0
No solution found, exiting
```