equal
deleted
inserted
replaced
80 ci_download_and_unzip_file http://scg.unibe.ch/download/jk/petit-compiler/python-src.zip |
80 ci_download_and_unzip_file http://scg.unibe.ch/download/jk/petit-compiler/python-src.zip |
81 } |
81 } |
82 |
82 |
83 function ci_upload_benchmark_results { |
83 function ci_upload_benchmark_results { |
84 if [ -f "$PETITCOMPILER_BENCHMARK_REPORT" ]; then |
84 if [ -f "$PETITCOMPILER_BENCHMARK_REPORT" ]; then |
85 url 'https://swing.fit.cvut.cz/calipel/imports/push-import' \ |
85 curl 'https://swing.fit.cvut.cz/calipel/imports/push-import' \ |
86 --user "$CALIPEL_USER:$CALIPEL_PASSWORD" \ |
86 --user "$CALIPEL_USER:$CALIPEL_PASSWORD" \ |
87 --compressed \ |
87 --compressed \ |
88 -H 'Content-Type: application/json' \ |
88 -H 'Content-Type: application/json' \ |
89 --data "@$PETITCOMPILER_BENCHMARK_REPORT" |
89 --data "@$PETITCOMPILER_BENCHMARK_REPORT" |
90 fi |
90 fi |