Skip to content
Windows

[trivial] fix timer precision. #1280

Sign in to view logs

[trivial] fix timer precision.

[trivial] fix timer precision. #1280

Triggered via pull request November 24, 2023 09:00
@SimonDoldSimonDold
synchronize #198
SimonDold:timer-digits
Status Success
Total duration 13m 45s
Artifacts –

windows.yml

on: pull_request
Matrix: Compile and test planner
Fit to window
Zoom out
Zoom in