Skip to content
Enforce PR labels

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

Sign in to view logs

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

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

Triggered via pull request November 6, 2023 15:55
@lgoettgenslgoettgens
unlabeled #234
fingolfin:mh/helpful-error
Status Success
Total duration 27s
Artifacts –

enforce-labels.yml

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