define a shifted job costs function and prove its validity
| Status | Job ID | Name | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | |||||||||
| passed |
#89693
|
1.10.0-coq-8.11 |
00:14:14
|
|
|||||
| passed |
#89694
|
1.11.0-coq-8.11 |
00:14:15
|
|
|||||
| passed |
#89695
|
1.11.0-coq-8.12 |
00:04:58
|
|
|||||
| passed |
#89722
|
build-for-process |
00:02:18
|
|
|||||
| passed |
#89697
|
build-for-process-classic |
00:03:40
|
|
|||||
| passed |
#89700
|
coq-8.12 |
00:12:30
|
|
|||||
| passed |
#89701
|
coq-dev |
00:12:46
|
|
|||||
| passed |
#89698
|
proof-length |
00:00:43
|
|
|||||
| passed |
#89699
|
spell-check |
00:01:02
|
|
|||||
| failed |
#89696
|
build-for-process |
00:05:05
|
|
|||||
| Process | |||||||||
| passed |
#89704
|
doc |
00:00:19
|
|
|||||
| passed |
#89705
|
doc-classic |
00:00:34
|
|
|||||
| passed |
#89723
|
proof-state |
00:04:34
|
|
|||||
| passed |
#89702
|
validate |
00:00:52
|
|
|||||
| passed |
#89703
|
validate-classic |
00:03:08
|
|
|||||
| failed |
#89706
|
proof-state |
00:02:26
|
|
|||||