Skip to content
Lint

Merge pull request #123 from galaxyproject/paulzierep-patch-1 #422

Sign in to view logs

Merge pull request #123 from galaxyproject/paulzierep-patch-1

Merge pull request #123 from galaxyproject/paulzierep-patch-1 #422

Triggered via push June 24, 2024 14:49
@bebatutbebatut
pushed 0c1d47e
main
Status Cancelled
Total duration 33s
Artifacts –

lint.yaml

on: push
Matrix: lint
Fit to window
Zoom out
Zoom in

Annotations

4 errors
lint (3.11)
Canceling since a higher priority waiting request for 'lint-refs/heads/main' exists
lint (3.11)
The operation was canceled.
lint (3.8)
Canceling since a higher priority waiting request for 'lint-refs/heads/main' exists
lint (3.8)
The operation was canceled.