replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

perf-test: Python2 compatible date formatting

This commit is contained in:
Michael Tautschnig 2018-11-19 20:54:00 +00:00
parent 5d9e0c3c85
commit 810bc88ae6
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
scripts/perf-test/perf_test.py
View File

@ -640,8 +640,8 @@ def main():
KeyName=args.ssh_key_name, PublicKeyMaterial=pk)
# build a unique id for this performance test run
perf_test_id = str(datetime.datetime.utcnow().isoformat(
sep='-', timespec='seconds')) + '-' + args.commit_id
perf_test_id = str(datetime.datetime.utcnow().strftime(
'%Y-%m-%d-%H:%M:%S')) + '-' + args.commit_id
perf_test_id = re.sub('[:/_\.\^~ ]', '-', perf_test_id)
logger.info('global: Preparing performance test ' + perf_test_id)