potential fix for CI

[kostrykin]

The requirement is that the CI deploys tools even if planemo lint raises an error during merge.

The current configuration of the CI sets--fail_level passed to planemo shed_lint to error:
https://github.com/BMCV/galaxy-image-analysis/actions/runs/6811812716/job/18523060276#step:7:355
To my understanding, this makes the linter fail only if it produces an error (but not if it produces warnings).
https://help.galaxyproject.org/t/make-a-repository-installable/8156/6

What we want instead, is, that the linter never fails during merge, not even if an error is encountered! However, only the options warn and error are allowed:

$ planemo shed_lint --help |grep fail_level
  --fail_level [warn|error]

Thus, the required behavior is out of scope of fail_level. It can only be achieved by skipping linting during merge. This should be implemented by this PR (hopefully, never digged myself into GitHub actions before).

xref #82 #71

---

FOR CONTRIBUTOR:

• - I have read the CONTRIBUTING.md document and this tool is appropriate for the galaxy-image-analysis repo.
• - License permits unrestricted use (educational + commercial)
• - This PR adds a new tool or tool collection
• - This PR updates an existing tool or tool collection
• - This PR does something else (explain below)
• - Tools added/updated by this PR (if any) comply with the Naming and Annotation Conventions for Tools in the Image Community in Galaxy (or please explain why they do not)

[bernt-matthias]

This is not needed IMO. For deployment lint runs with --fail-level error anyways.

Having --fail-level warn during PRs seems a nice feature since it usually leads to higher quality tools.

[kostrykin]

Having --fail-level warn during PRs seems a nice feature since it usually leads to higher quality tools.

Thanks, you are absolutely right, I changed this by accident. I fixed that in 69065ea.

[bernt-matthias]

Sorry, this is not what I meant .. warn is even stricter that fail, i.e. if it fails with error it will fail with warn as well.

Give me a moment.

Ultimately biii needs to be added here .. which will effect only with the next galaxy release.

[kostrykin]

Sorry, this is not what I meant .. warn is even stricter that fail, i.e. if it fails with error it will fail with warn as well.

Yes, this is why I have changed it from error to warn for pull requests (because it's stricter). For merging, planemo lint would be skipped completely due to f976b91:

     - name: Planemo lint
       if: ${{ github.event_name == 'pull_request' }}

Ultimately biii needs to be added here .. which will effect only with the next galaxy release.

Yes, this is what we had already done in 00a3d03, and why we wanted to bypass linting for merging for the moment, until the next Galaxy release is there.

[bernt-matthias]

#84