add CI

2 jobs for master
Status Job ID Name Coverage
  Build
canceled #23177
fp
build-coq.8.7.2

canceled #23176
fp
build-coq.8.8.2