Entrypoints

2 jobs for entrypoints in 4 minutes and 29 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #252499480
coq:8.8

00:03:55

passed #252499481
coq:8.9

00:04:28