Skip to content

Archives tool cone search #42

Archives tool cone search

Archives tool cone search #42

Triggered via pull request October 20, 2023 12:16
Status Cancelled
Total duration 2s
Artifacts

pr_without_tool_change.yaml

on: pull_request
Check workflow success
Check workflow success
Fit to window
Zoom out
Zoom in

Annotations

1 error
Galaxy Tool Linting and Tests for push and PR
Canceling since a higher priority waiting request for 'pr-refs/pull/40/merge' exists