Skip to content

GitLab

C
coq-stdpp

Add `Countable` instance for `mapset`.

7 jobs for master
latest
a05d1085
1 related merge request: !40 Add `Countable` instance for `gset`.
Status Job ID Name Coverage
  Build
canceled #15391
fp
build-coq.8.6.0

canceled #15390
fp
build-coq.8.6.1

canceled #15389
fp
build-coq.8.7.0

canceled #15388
fp
build-coq.8.7.1

canceled #15387
fp-timing
build-coq.8.7.2

canceled #15386
fp-timing
build-coq.8.8.0

canceled #15385
fp
build-coq.dev