Merge branch 'polishing' into development
This commit is contained in:
commit
08dffb97bc
|
@ -230,6 +230,7 @@ backup_runtime_measurement:
|
||||||
script:
|
script:
|
||||||
- cd $LOCAL_HOME/performance # location of new runtime results
|
- cd $LOCAL_HOME/performance # location of new runtime results
|
||||||
- git commit -am"${CI_PIPELINE_ID}_${CI_COMMIT_SHA}"
|
- git commit -am"${CI_PIPELINE_ID}_${CI_COMMIT_SHA}"
|
||||||
|
- git push
|
||||||
only:
|
only:
|
||||||
- development
|
- development
|
||||||
|
|
||||||
|
|
Binary file not shown.
Before Width: | Height: | Size: 1.4 KiB |
Binary file not shown.
Before Width: | Height: | Size: 8.1 KiB After Width: | Height: | Size: 16 KiB |
Loading…
Reference in New Issue