Skip to content
CI

FIX: define dev dependencies as dependency groups (#26) #76

Sign in to view logs

FIX: define dev dependencies as dependency groups (#26)

FIX: define dev dependencies as dependency groups (#26) #76

Triggered via push October 28, 2024 10:37
@redeboerredeboer
pushed 0fed08b
main
Status Success
Total duration 1m 23s
Artifacts 1

ci.yml

on: push
doc  /  ...  /  Check external links
18s
doc / linkcheck / Check external links
doc  /  ...  /  Execute and build documentation
48s
doc / nb / Execute and build documentation
style  /  Determine skipped pre-commit hooks
5s
style / Determine skipped pre-commit hooks
doc  /  Upload to GitHub Pages
9s
doc / Upload to GitHub Pages
https://compwa.github.io/benchmarks/
style  /  Run local pre-commit hooks
40s
style / Run local pre-commit hooks
style  /  Push changes
0s
style / Push changes
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
2.96 MB