Skip to content
CI

FIX: define dev dependencies as dependency groups (#108) #13

Sign in to view logs

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

FIX: define dev dependencies as dependency groups (#108) #13

Triggered via push October 28, 2024 13:40
@redeboerredeboer
pushed 40853e0
main
Status Success
Total duration 4m 16s
Artifacts 1

ci.yml

on: push
doc  /  ...  /  Check external links
1m 5s
doc / linkcheck / Check external links
doc  /  ...  /  Execute and build documentation
3m 45s
doc / nb / Execute and build documentation
doc  /  Upload to GitHub Pages
7s
doc / Upload to GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
3.04 MB