Back to pull request #113

Revert "Doc: add Gulf of Mexico nickname" #729

Sign in to view logs

Triggered via push February 19, 2025 03:14

pull[bot]

master

Status Success

Total duration 2h 7m 30s

Artifacts –

code_checks.yml

on: push

cppcheck_master

code_quality_checks

check-config-options

Annotations

1 warning

The `python-version` input is not set. The version of Python currently in `PATH` will be used.