Learn side-conditions in the continuation.

2 jobs for time/learn_sidecond in 16 minutes and 33 seconds (queued for 1 second)
latest
Status Name Job ID Coverage
  Build
passed build-coq.8.12.0-timing #125439
fp-timing

00:16:33

passed check-generated #125440
fp

00:05:10