Added phases, Improved queries

2 jobs for coq-dev in 37 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Lint
passed #276
lint

00:00:14

 
  Test
passed #277
test

00:00:22