commit | a3fd9631cc209914fad2e2c1fb24006d6d5adc2d | [log] [tgz] |
---|---|---|
author | Bobby R. Bruce <bbruce@ucdavis.edu> | Fri Dec 02 11:15:45 2022 -0800 |
committer | Bobby Bruce <bbruce@ucdavis.edu> | Mon Dec 05 20:25:53 2022 +0000 |
tree | 6db1797b2739f1b7cbd54ab89f4ec6bceec83b30 | |
parent | 1c422628bc9dcbc3f24c77d456fdd3653e34b8e7 [diff] |
util-gem5art: Fix incorrect type of size in `createArtifact` The typing here was `int` but had a default value of `None`. The correct type is therefore `Optional[int]`. Change-Id: Ibaf63151196b15f68e643fa5c1b290439d6618c8 Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5/+/66371 Maintainer: Bobby Bruce <bbruce@ucdavis.edu> Tested-by: kokoro <noreply+kokoro@google.com> Reviewed-by: Bobby Bruce <bbruce@ucdavis.edu>