Skip to content
Enforce PR labels

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

Sign in to view logs

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

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

Triggered via pull request November 4, 2023 19:59
@fingolfinfingolfin
opened #234
fingolfin:mh/helpful-error
Status Success
Total duration 25s
Artifacts –

enforce-labels.yml

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