Skip to content

GitLab

P
ProofScriptParser

matcher api and bugfixes

3 jobs for master in 1 minute and 54 seconds (queued for 1 second)
90c10929 90c109293d36459935d58626a50b4a933e9c5372
No related merge requests found.
Status Job ID Name Coverage
  Test
passed #13526
build

00:00:25

passed #13528
deploy

00:01:02

passed #13527
test

00:00:27