Albert/Examples: add SELF
| Status | Job ID | Name | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | |||||||||
| passed |
#533101793
|
coq |
00:10:02
|
|
|||||
| passed |
#533101789
|
coq:8.8 |
00:08:15
|
|
|||||
| passed |
#533101791
|
coq:8.9 |
00:09:26
|
|
|||||
| passed |
#533101796
|
test:docker |
00:09:07
|
|
|||||
| passed |
#533101794
|
test_coq |
00:01:50
|
26.33% |
|
||||