Skip to content
Enforce PR labels

Improve error when [extras] and test/Project.toml inconsistent #106

Sign in to view logs

Improve error when [extras] and test/Project.toml inconsistent

Improve error when [extras] and test/Project.toml inconsistent #106

Triggered via pull request November 6, 2023 15:52
@lgoettgenslgoettgens
synchronize #234
fingolfin:mh/helpful-error
Status Failure
Total duration 37s
Artifacts –

enforce-labels.yml

on: pull_request
Check for blocking labels
17s
Check for blocking labels
Fit to window
Zoom out
Zoom in

Annotations

1 error
Check for blocking labels
A PR should not be merged with `needs *` or `DO NOT MERGE` labels