Fixes #1070: Rename internal bash tool to terminal for cross-platform… #1965
Triggered via pull request
August 5, 2026 18:28
ainaanraza
ainaanraza
synchronize
#1076
Status
Success
Total duration
11s
Artifacts
–