Use the .hpp headers from realtime_tools package (backport #1916) #207
Triggered via pull request
December 16, 2024 21:24
christophfroehlich
Status
Cancelled
Total duration
3m 42s
Artifacts
–
humble-pre-commit.yml
on: pull_request
pre-commit
/
pre-commit
1m 11s
Annotations
2 errors
|
pre-commit / pre-commit
Canceling since a higher priority waiting request for 'Pre-Commit - Humble-refs/pull/1920/merge' exists
|
|
pre-commit / pre-commit
The operation was canceled.
|