Skip to content

I
Iris
Commit 1d2880b3 authored by Ralf Jung's avatar Ralf Jung
Browse files
Options

re-enable make validate on CI

parent a953a68d
Pipeline #3355 failed with stage
    in 10 minutes and 24 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 3 additions and 3 deletions
    .gitlab-ci.yml
    View file @ 1d2880b3
    ......@@ -8,9 +8,9 @@ iris-coq8.5.3:
    - . build/opam-ci.sh 'coq 8.5.3' 'coq-mathcomp-ssreflect 1.6'
    # build
    - 'time make -j8 TIMED=y 2>&1 | tee build-log.txt'
    - 'fgrep Axiom build-log.txt && exit 1'
    - 'cat build-log.txt | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time.txt'
    #- make validate
    - 'if fgrep Axiom build-log-full.txt >/dev/null then; exit 1; fi'
    - 'cat build-log.txt | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time.txt'
    - make validate
    cache:
    key: "coq8.5.3"
    paths:
    ......
    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