Merge branch 'robbert/infinite' into 'master'
Overhaul of the `Infinite`/`Fresh` infrastructure See merge request !58
| Status | Job ID | Name | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | |||||||||
| passed |
#25644
fp
|
build-coq.8.7.0 |
00:02:42
|
|
|||||
| passed |
#25643
fp
|
build-coq.8.7.1 |
00:02:46
|
|
|||||
| passed |
#25642
fp
|
build-coq.8.7.2 |
00:02:48
|
|
|||||
| passed |
#25641
fp-timing
|
build-coq.8.8.0 |
00:02:45
|
|
|||||
| passed |
#25640
fp
|
build-coq.8.8.1 |
00:02:46
|
|
|||||
| passed |
#25639
fp
|
build-coq.8.8.2 |
00:02:55
|
|
|||||
| passed |
#25638
fp-timing
|
build-coq.8.9.0 |
00:03:08
|
|
|||||
| passed |
#25637
fp
|
build-coq.dev |
00:07:56
|
|
|||||