Skip to content
PR linting

FIX: define dev dependencies as dependency groups #137

Sign in to view logs

FIX: define dev dependencies as dependency groups

FIX: define dev dependencies as dependency groups #137

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

pr-linting.yml

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

Annotations

1 error
PR linting
Canceling since a higher priority waiting request for 'PR linting-refs/pull/40/merge' exists