diff options
| author | Anton Trunov | 2019-11-21 12:46:56 +0300 |
|---|---|---|
| committer | Anton Trunov | 2020-01-07 21:03:22 +0300 |
| commit | 57e132f3e42fe73d7ee0a7d263b48246bc712b67 (patch) | |
| tree | 52dd0ce52514ce9fdb4b5b8c657a93e485f57b7a /mathcomp | |
| parent | c7fa2a1444d450bcebdeea47800fef1436690b6d (diff) | |
Add FCSL-PCM library to CI
FCSL-PCM is in Coq's CI, so this will prevent breaking Coq's CI, see
https://github.com/imdea-software/fcsl-pcm/issues/17
Diffstat (limited to 'mathcomp')
0 files changed, 0 insertions, 0 deletions