DON'T SAVE: add test stanza to CI

5 jobs for coverage in 9 minutes and 43 seconds (queued for 3 seconds)
latest
Status Job ID Name Coverage
  Build
passed #533119059
coq

00:09:43

passed #533119057
coq:8.8

00:07:52

passed #533119058
coq:8.9

00:09:33

passed #533119070
test:docker

00:09:26

passed #533119061
test_coq

00:01:55

26.33%