Skip to content
CI

DX: remove Technical Reports #717

Sign in to view logs

DX: remove Technical Reports

DX: remove Technical Reports #717

Triggered via pull request October 1, 2024 14:24
@redeboerredeboer
synchronize #296
extract-reports
Status Success
Total duration 7m 18s
Artifacts 1

ci.yml

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

Artifacts

Produced during runtime
Name Size
github-pages Expired
3.33 MB