mirror of https://github.com/ARMmbed/mbed-os.git
Add UUID to all builds
parent
05dce1206e
commit
c4c6e139b6
|
@ -18,6 +18,7 @@ limitations under the License.
|
||||||
import re
|
import re
|
||||||
import tempfile
|
import tempfile
|
||||||
import datetime
|
import datetime
|
||||||
|
import uuid
|
||||||
from types import ListType
|
from types import ListType
|
||||||
from shutil import rmtree
|
from shutil import rmtree
|
||||||
from os.path import join, exists, dirname, basename, abspath, normpath, splitext
|
from os.path import join, exists, dirname, basename, abspath, normpath, splitext
|
||||||
|
@ -106,6 +107,7 @@ def add_result_to_report(report, result):
|
||||||
result - the result to append
|
result - the result to append
|
||||||
"""
|
"""
|
||||||
result["date"] = datetime.datetime.utcnow().isoformat()
|
result["date"] = datetime.datetime.utcnow().isoformat()
|
||||||
|
result["uuid"] = str(uuid.uuid1())
|
||||||
target = result["target_name"]
|
target = result["target_name"]
|
||||||
toolchain = result["toolchain_name"]
|
toolchain = result["toolchain_name"]
|
||||||
id_name = result['id']
|
id_name = result['id']
|
||||||
|
|
Loading…
Reference in New Issue