Skip to content

Merge branch 'dev' into fix-x00-username #423

Merge branch 'dev' into fix-x00-username

Merge branch 'dev' into fix-x00-username #423

Triggered via push August 26, 2023 13:37
Status Success
Total duration 10m 57s
Artifacts 1
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

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

Artifacts

Produced during runtime
Name Size
assets Expired
2.61 MB