patchback[bot] 43f0152969 [PR #11421/9611dc25 backport][stable-12] time-command.py: make sure seconds is an int (#11436) ...

time-command.py: make sure seconds is an int (#11421)

Make sure seconds is an int.

(cherry picked from commit 9611dc258a)

Co-authored-by: Felix Fontein <felix@fontein.de>

2026-01-20 22:41:12 +01:00

..

aggregate-coverage.sh

Add default license header to files which have no copyright or license header yet (#5074)

2022-08-05 14:03:38 +02:00

combine-coverage.py

[PR #11379/b3dc06a7 backport][stable-12] Clean up other Python files (#11382)

2026-01-05 18:57:50 +01:00

process-results.sh

Add default license header to files which have no copyright or license header yet (#5074)

2022-08-05 14:03:38 +02:00

publish-codecov.py

[PR #11379/b3dc06a7 backport][stable-12] Clean up other Python files (#11382)

2026-01-05 18:57:50 +01:00

report-coverage.sh

Add default license header to files which have no copyright or license header yet (#5074)

2022-08-05 14:03:38 +02:00

run-tests.sh

Add default license header to files which have no copyright or license header yet (#5074)

2022-08-05 14:03:38 +02:00

time-command.py

[PR #11421/9611dc25 backport][stable-12] time-command.py: make sure seconds is an int (#11436)

2026-01-20 22:41:12 +01:00