Skip to content
PR linting

FIX: define dev dependencies as dependency groups #136

Sign in to view logs

FIX: define dev dependencies as dependency groups

FIX: define dev dependencies as dependency groups #136

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

pr-linting.yml

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

Annotations

2 errors
Check labels
Canceling since a higher priority waiting request for 'PR linting-refs/pull/40/merge' exists
Check title
Canceling since a higher priority waiting request for 'PR linting-refs/pull/40/merge' exists