Add `Countable` instance for `mapset`.
| Status | Name | Job ID | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | |||||||||
| canceled | build-coq.8.6.0 |
#15391
fp
|
|
|
|||||
| canceled | build-coq.8.6.1 |
#15390
fp
|
|
|
|||||
| canceled | build-coq.8.7.0 |
#15389
fp
|
|
|
|||||
| canceled | build-coq.8.7.1 |
#15388
fp
|
|
|
|||||
| canceled | build-coq.8.7.2 |
#15387
fp-timing
|
|
|
|||||
| canceled | build-coq.8.8.0 |
#15386
fp-timing
|
|
|
|||||
| canceled | build-coq.dev |
#15385
fp
|
|
|
|||||