Skip to content

GitLab

P
ProofScriptParser
Commit 8a1f4e87 authored by alexander.weigl's avatar alexander.weigl 🐼
Browse files
Options

Update .gitlab-ci.yml

parent 984a7e74
Pipeline #10907 passed with stage
    in 1 minute and 45 seconds