wxGUI/history: add pop-up command menu with an item for delete command from history #5438
Triggered via pull request
December 25, 2023 21:30
tmszi
Status
Success
Total duration
17m 17s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
1 warning
|
cpp
The "paths"/"paths-ignore" fields of the config only have effect for JavaScript, Python, and Ruby
|