update .gitignore

6 jobs for master in 13 minutes and 49 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
passed build-coq.8.6.1 #7416
fp-timing

00:03:16

passed build-coq.8.7.1 #7415
fp-timing

00:03:03

 
  Deploy
passed opam #7417

00:00:15

passed reverse-deps #7418

00:00:14

 
  Build More
passed build-coq.8.7.0 #7420
fp-timing

00:03:07

passed build-coq.8.7.dev #7419
fp-timing

00:07:07