Skip to content

Change objective_status to a string in ObjectiveServerStatus.msg #216

Change objective_status to a string in ObjectiveServerStatus.msg

Change objective_status to a string in ObjectiveServerStatus.msg #216

Triggered via pull request March 24, 2025 15:50
Status Success
Total duration 23s
Artifacts

format.yaml

on: pull_request
pre-commit
12s
pre-commit
Fit to window
Zoom out
Zoom in