disallow SELF in lambdas

2 jobs for entrypoints in 4 minutes and 38 seconds (queued for 47 seconds)
latest
Status Job ID Name Coverage
  Build
passed #255333703
coq:8.8

00:03:56

passed #255333704
coq:8.9

00:04:31