remove Set Asymmetric Patterns

5 jobs for master in 7 minutes and 57 seconds (queued for 2 minutes and 30 seconds)
Status Job ID Name Coverage
  Build
passed #4449
fp-timing
build-coq.8.6

00:01:51

passed #4448
fp-timing
build-coq.8.6.1

00:02:51

passed #4447
fp-timing
build-coq.8.7

00:01:43

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

00:01:58

 
  Deploy
passed #4450
opam

00:00:13