Skip to content

S
smart-contract-interactions
Commit 86df9fd4 authored by Jakob Botsch Nielsen's avatar Jakob Botsch Nielsen
Browse files
Options

Build with Coq 8.10 as well

parent 65b99ce6
Pipeline #13814 passed with stage
    in 7 minutes and 19 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 3 additions and 0 deletions
    .gitlab-ci.yml
    View file @ 86df9fd4
    ......@@ -25,5 +25,8 @@ coq:8.8:
    coq:8.9:
    extends: .build
    coq:8.10:
    extends: .build
    coq:dev:
    extends: .build
    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