Skip to content

P
ProofScriptParser
Commit 539f3116 authored by alexander.weigl's avatar alexander.weigl 🐼
Browse files
Options

Update .gitlab-ci.yml

parent 2c622d8b
Pipeline #10824 failed with stage
    in 1 minute and 44 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 2 additions and 1 deletion
    .gitlab-ci.yml
    View file @ 539f3116
    image: maven:3.5.0-jdk-8
    image: key-ant-openjdk-8:latest
    ......
    Markdown is supported
    0% or
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment