remove trailing whitespace
This was done using `sed --in-place 's/[[:space:]]\+$//' theories/*.v`.
Status | Job ID | Name | Coverage | ||||||
---|---|---|---|---|---|---|---|---|---|
Build | |||||||||
passed |
#61102
fp
|
build-coq.8.10.2 |
00:04:40
|
|
|||||
passed |
#61101
fp-timing
|
build-coq.8.11.0 |
00:04:15
|
|
|||||
passed |
#61137
fp
|
build-coq.8.11.dev |
00:11:47
|
|
|||||
passed |
#61105
fp
|
build-coq.8.7.2 |
00:03:54
|
|
|||||
passed |
#61104
fp
|
build-coq.8.8.2 |
00:03:51
|
|
|||||
passed |
#61103
fp
|
build-coq.8.9.1 |
00:04:33
|
|
|||||
failed |
#61100
fp
|
build-coq.8.11.dev |
00:01:50
|
|
|||||