Skip to content
Enforce PR labels

Sort ambiguities and type piracies by function name #98

Sign in to view logs

Sort ambiguities and type piracies by function name

Sort ambiguities and type piracies by function name #98

Triggered via pull request November 3, 2023 15:18
@lgoettgenslgoettgens
labeled #233
lgoettgens:lg/ambiguity-sort
Status Failure
Total duration 30s
Artifacts –

enforce-labels.yml

on: pull_request
Check for blocking labels
19s
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