Skip to content

Merge branch 'dev' into node-deps #352

Merge branch 'dev' into node-deps

Merge branch 'dev' into node-deps #352

Triggered via push January 13, 2024 11:28
Status Success
Total duration 8m 11s
Artifacts 2

ci.yml

on: push
Build Sphinx documentation
51s
Build Sphinx documentation
Lint and build front-end
1m 2s
Lint and build front-end
Matrix: Install and test zds-site
Push documentation to GitHub Pages
0s
Push documentation to GitHub Pages
Push coverage to Coveralls
10s
Push coverage to Coveralls
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
assets Expired
2.61 MB
github-pages Expired
7.76 MB