Type SELF in lambda correctly

2 jobs for self_in_lambda in 3 minutes and 57 seconds
latest
Status Job ID Name Coverage
  Build
failed #242339057
coq:8.8

00:03:44

failed #242339059
coq:8.9

00:03:56

 
Name Stage Failure
failed
coq:8.9 Build
+- 
+- The following changes have been performed
| - install ott 0.28
+-
[NOTE] Pinning command successful, but your installed packages may be out of sync.

The former state can be restored with:
opam switch import "/home/coq/.opam/4.05.0/.opam-switch/backup/state-20190628223017.export"
ERROR: Job failed: exit code 1
failed
coq:8.8 Build
+- 
+- The following changes have been performed
| - install ott 0.28
+-
[NOTE] Pinning command successful, but your installed packages may be out of sync.

The former state can be restored with:
opam switch import "/home/coq/.opam/4.05.0/.opam-switch/backup/state-20190628223004.export"
ERROR: Job failed: exit code 1