Skip to content

Merge pull request #10 from Jeff-CCH/feat/integrate-open-ocean #244

Merge pull request #10 from Jeff-CCH/feat/integrate-open-ocean

Merge pull request #10 from Jeff-CCH/feat/integrate-open-ocean #244

Triggered via push November 16, 2023 05:56
Status Success
Total duration 38s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

lint.yml

on: push
Run linters
28s
Run linters
Fit to window
Zoom out
Zoom in