Skip to content
Snippets Groups Projects
Commit cd9b5f5f authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[ci] limit opam parallelism

parent 1eb09b9b
No related branches found
No related tags found
No related merge requests found
......@@ -416,13 +416,13 @@ opam-pin-release:
- export OPAMUPGRADECRITERIA="-removed,-count[avoid-version,changed],-count[version-lag,request],-count[version-lag,changed],-count[missing-depexts,changed],-changed"
- opam pin . -n -k path
- opam update --depexts
- opam depext frama-c
- opam depext --jobs 2 frama-c
- export OPAMCRITERIA="+removed,+count[version-lag,solution]"
- export OPAMFIXUPCRITERIA="+removed,+count[version-lag,solution]"
- export OPAMUPGRADECRITERIA="+removed,+count[version-lag,solution]"
- export OPAMEXTERNALSOLVER="builtin-0install"
- opam update --depexts
- opam reinstall frama-c
- opam reinstall --jobs 2 frama-c
timeout: 2h
tags:
- docker
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment