Skip to content
Galaxy Tool Linting and Tests for push and PR

eggnog: allow admins to set --dbmem #10

Sign in to view logs

eggnog: allow admins to set --dbmem

eggnog: allow admins to set --dbmem #10

Triggered via pull request September 4, 2023 09:10
@bernt-matthiasbernt-matthias
synchronize #727
bernt-matthias:topic/eggnog-dbmem
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/727/merge' exists