function "get" done

2 jobs for merge-contract in 5 minutes and 11 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Build
passed #247084646
coq:8.8

00:05:11

passed #247084648
coq:8.9

00:04:24