Skip to content

GitLab

Use constructor again, but make cbn/simpl unfold it

3 jobs for master in 6 minutes and 6 seconds (queued for 1 second)
0caed85a
No related merge requests found.
Status Name Job ID Coverage
  Build
passed coq:8.8 #91552
au

00:02:42

passed coq:8.9 #91553
au

00:02:43

passed coq:dev #91554
au

00:03:23