Skip to content
Enforce PR label

Ignore links to GitHub user and organisation profiles #610

Sign in to view logs

Ignore links to GitHub user and organisation profiles

Ignore links to GitHub user and organisation profiles #610

Triggered via pull request March 5, 2024 19:52
@krassowskikrassowski
opened #221
krassowski:ignore-github-users-and-orgs
Status Cancelled
Total duration 11s
Artifacts –

enforce-label.yml

on: pull_request
enforce-label
0s
enforce-label
Fit to window
Zoom out
Zoom in

Annotations

1 error
enforce-label
The run was canceled by @jupyterlab-probot[bot].