Propose to add --curl-options for advanced curl settings in run.sh example usage in gitlab: ```./smalltalkCI/bin/smalltalkci -s --curl-options '--ssl-no-revoke' 'Pharo64-13' .testing.ston``` We can work on it.
Propose to add --curl-options for advanced curl settings in run.sh
example usage in gitlab:
./smalltalkCI/bin/smalltalkci -s --curl-options '--ssl-no-revoke' 'Pharo64-13' .testing.stonWe can work on it.