Skip to content

GitLab

P
ProofScriptParser

simplifcations and fixes

3 jobs for master in 2 minutes and 7 seconds (queued for 1 second)
985b0a8b 985b0a8b67b6b1c9884d1bb8820147ea9bad67bd
No related merge requests found.
Status Job ID Name Coverage
  Test
passed #13876
build

00:00:27

passed #13878
deploy

00:01:10

passed #13877
test

00:00:29