exhaustive match for lit_is_unboxed

4 jobs for master in 15 minutes and 32 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed build-coq.8.10.2 #70897
fp

00:08:08

passed build-coq.8.11.1 #70896
fp-timing

00:07:03

passed build-coq.8.11.dev #70895
fp

00:15:32

passed build-coq.8.9.1 #70898
fp

00:07:39