Merge branch 'robbert/pred_infinite' into 'master'
Notion of (in)finite predicates See merge request !56
Status | Job ID | Name | Coverage | ||||||
---|---|---|---|---|---|---|---|---|---|
Build | |||||||||
passed |
#24841
fp
|
build-coq.8.7.0 |
00:02:45
|
|
|||||
passed |
#24840
fp
|
build-coq.8.7.1 |
00:02:48
|
|
|||||
passed |
#24839
fp
|
build-coq.8.7.2 |
00:02:50
|
|
|||||
passed |
#24838
fp-timing
|
build-coq.8.8.0 |
00:02:45
|
|
|||||
passed |
#24837
fp
|
build-coq.8.8.1 |
00:03:13
|
|
|||||
passed |
#24836
fp
|
build-coq.8.8.2 |
00:03:09
|
|
|||||
passed |
#24835
fp-timing
|
build-coq.8.9.0 |
00:03:31
|
|
|||||
passed |
#24834
fp
|
build-coq.dev |
00:04:37
|
|
|||||