ARM linting uses the execution time

This commit is contained in:
Victor Martinez 2020-07-19 20:54:41 +01:00
parent 0bc699a72f
commit c7887882ae
No known key found for this signature in database
GPG key ID: 4058B656AD58C4F5