Skip to content
PR linting

FIX: define dev dependencies as dependency groups #140

Sign in to view logs

FIX: define dev dependencies as dependency groups

FIX: define dev dependencies as dependency groups #140

Triggered via pull request October 28, 2024 10:52
@redeboerredeboer
synchronize #40
dependency-groups
Status Cancelled
Total duration 18s
Artifacts –

pr-linting.yml

on: pull_request
Check labels
5s
Check labels
Check title
10s
Check title
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Check title
Canceling since a higher priority waiting request for 'PR linting-refs/pull/40/merge' exists
Check title
The operation was canceled.