Skip to content

Merge pull request #10940 from OPM/dev #10231

Merge pull request #10940 from OPM/dev

Merge pull request #10940 from OPM/dev #10231

Triggered via push December 11, 2023 14:03
Status Failure
Total duration 19s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

1 error
lint
When the repository is checked out on a commit instead of a branch, the 'base' input must be supplied.