Skip to content

GitLab

Generalisation of pointer fragments.

2 jobs for ci/ptrfrag in 23 minutes and 58 seconds (queued for 2 seconds)
latest
24a1d9b2
1 related merge request: !54 Generalisation of pointer fragments.
Status Name Job ID Coverage
  Build
passed build-coq.8.12.0 #122322
fp

00:23:58

passed check-generated #122323
fp

00:05:27