Merge branch 'better-list-countable' into 'master'
More efficient list encoding for Countable See merge request !62
| Status | Job ID | Name | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | |||||||||
| passed |
#27221
fp
|
build-coq.8.7.0 |
00:02:48
|
|
|||||
| passed |
#27220
fp
|
build-coq.8.7.1 |
00:02:48
|
|
|||||
| passed |
#27219
fp
|
build-coq.8.7.2 |
00:02:48
|
|
|||||
| passed |
#27218
fp-timing
|
build-coq.8.8.0 |
00:02:35
|
|
|||||
| passed |
#27217
fp
|
build-coq.8.8.1 |
00:02:56
|
|
|||||
| passed |
#27216
fp
|
build-coq.8.8.2 |
00:02:55
|
|
|||||
| passed |
#27215
fp-timing
|
build-coq.8.9.0 |
00:03:15
|
|
|||||
| passed |
#27214
fp
|
build-coq.dev |
00:08:01
|
|
|||||