Merge branch 'robbert/rel_disambig' into 'master'
Notations for relations with explicit type arguments See merge request robbertkrebbers/coq-stdpp!30
| Status | Job ID | Name | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | |||||||||
| passed |
#10371
fp
|
build-coq.8.6.0 |
00:08:06
|
|
|||||
| passed |
#10370
fp
|
build-coq.8.6.1 |
00:08:10
|
|
|||||
| passed |
#10369
fp
|
build-coq.8.7.0 |
00:07:00
|
|
|||||
| passed |
#10368
fp
|
build-coq.8.7.1 |
00:07:33
|
|
|||||
| passed |
#10367
fp-timing
|
build-coq.8.7.2 |
00:05:54
|
|
|||||
| passed |
#10366
fp
|
build-coq.8.8.dev |
00:16:47
|
|
|||||
| passed |
#10365
fp
|
build-coq.dev |
00:16:39
|
|
|||||