Skip to content
Lint

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

Sign in to view logs

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

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

Triggered via push November 15, 2023 07:54
@Jeff-CCHJeff-CCH
pushed 3f1eac0
master
Status Success
Total duration 33s
Artifacts –

lint.yml

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