Skip to content

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

Revert "Doc: add Gulf of Mexico nickname"

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

Documentation checks

succeeded Feb 19, 2025 in 9m 6s
Set up job
0s
Initialize containers
46s
Run actions/checkout@d632683dd7b4114ad314bca15554477dd762a938
7s
Setup environment
5m 34s
Update components
1s
Print versions
1s
Lint .rst files
0s
Doxygen
11s
Generated RST files
18s
Spelling
2m 3s
Post Run actions/checkout@d632683dd7b4114ad314bca15554477dd762a938
0s
Stop containers
0s
Complete job
0s