Commit bb7dc100 authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

Update .gitlab-ci.yml

parent 19824b99
Pipeline #127 passed with stage
in 6 minutes and 36 seconds
default:
image: docker-cduce:latest
before_script:
- echo "$USER"
- eval `opam config env`
- echo "$PATH"
- opam update -y
- opam upgrade -y
......
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