Albert/Examples: add SELF

5 jobs for bruno@coverage in 10 minutes and 3 seconds (queued for 1 second)
latest
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%