Define [builtin_boolean] using [generic_boolean].

1 job for ci/builtin_boolean in 12 minutes and 30 seconds (queued for 5 seconds)
latest
Status Name Job ID Coverage
  Build
failed build-coq.8.13.2 #145759
fp

00:12:30

 
Name Stage Failure
failed
build-coq.8.13.2 Build
File "./linux/pkvm/proofs/spinlock/spinlock_proof.v", line 88, characters 8-94:
Error: No matching clauses for match.

make: *** [Makefile:6: all_with_examples] Error 1

real 10m40.360s
user 82m11.931s
sys 4m13.116s
Cleaning up file based variables
ERROR: Job failed: exit code 1