Skip to content

GitLab

Verifpal
Verifpal

Minor fixes

2 jobs for coq in 37 seconds (queued for 2 seconds)
073e4779 073e47790e0d0239417011179e9e2ab1097e65ce
1 related merge request: !9 Coq
Status Job ID Name Coverage
  Lint
passed #433
lint

00:00:14

 
  Test
passed #434
test

00:00:23