Skip to content

FIX: define dev dependencies as dependency groups #37

FIX: define dev dependencies as dependency groups

FIX: define dev dependencies as dependency groups #37

Triggered via pull request October 29, 2024 09:32
Status Cancelled
Total duration 1m 26s
Artifacts

ci.yml

on: pull_request
doc  /  ...  /  Check external links
47s
doc / linkcheck / Check external links
doc  /  ...  /  Execute and build documentation
1m 10s
doc / nb / Execute and build documentation
style  /  Determine skipped pre-commit hooks
5s
style / Determine skipped pre-commit hooks
doc  /  Upload to GitHub Pages
0s
doc / Upload to GitHub Pages
style  /  Run local pre-commit hooks
29s
style / Run local pre-commit hooks
style  /  Push changes
0s
style / Push changes
Fit to window
Zoom out
Zoom in

Annotations

3 errors
doc / linkcheck / Check external links
Process completed with exit code 1.
doc / nb / Execute and build documentation
Canceling since a higher priority waiting request for 'CI-refs/pull/24/merge' exists
doc / nb / Execute and build documentation
The operation was canceled.