operations: 1) creation of develop_integration_2020_w15 (=develop) 2) merge of...
operations: 1) creation of develop_integration_2020_w15 (=develop) 2) merge of develop_inria_ci_deployment_gp 3) main.py conflicts resolution and now: commit of new main.py, epc.py, ran.py etc.
Showing
ci-scripts/constants.py
0 → 100644
ci-scripts/epc.py
0 → 100644
ci-scripts/helpreadme.py
0 → 100644
ci-scripts/html.py
0 → 100644
This source diff could not be displayed because it is too large. You can view the blob instead.
ci-scripts/ran.py
0 → 100644
ci-scripts/sshconnection.py
0 → 100644
Please register or sign in to comment