CI trigger: build only against Coq dev

2 jobs for master
Status Job ID Name Coverage
  Test
failed #7557
fp-timing
build-iris.dev

00:11:14

canceled #7554
fp-timing
build-iris.dev

 
Name Stage Failure
failed
build-iris.dev Test There is an unknown failure, please try again
[coq-mathcomp-ssreflect] http://github.com/math-comp/math-comp/archive/mathcomp-1.6.4.tar.gz downloaded

coq-mathcomp-ssreflect needs to be installed.
[NOTE] Pinning command successful, but your installed packages may be out of
sync.
Sorry, no solution found: there seems to be a problem with your request.

No solution found, exiting
ERROR: Job failed: exit code 1