Project

General

Profile

« Previous | Next » 

Revision 9f0cd2c4

Added by BRUN Lelio about 2 years ago

Update .gitlab-ci.yml file

View differences:

.gitlab-ci.yml
142 142 
      # with the variable CLEAN_DUNE_CACHE set to "true".
143 143 

  		




  144
  144
  
    
  script:


  		




  
  145
  
    
    - echo "Acquire::http::Proxy \"http://proxy.isae.fr:3128\"" > /etc/apt/apt.conf


  		




  145
  146
  
    
    - if [ "$CLEAN_OPAM_CACHE" == "true" ]; then echo "we clean the _opam cache as explicitly requested"; rm -fR _opam; fi


  		




  146
  147
  
    
    - if [ "$CLEAN_DUNE_CACHE" == "true" ]; then echo "we clean the dune _build cache as explicitly requested"; rm -fR _build; fi


  		




  147
  148
  
    
    # Note: Gitlab supports multi-line scripts with "- |" or "- >", but the


  		












Also available in:  Unified diff