Skip to content

Merge branch 'dev' into feature/quick_domain_ban #172

Merge branch 'dev' into feature/quick_domain_ban

Merge branch 'dev' into feature/quick_domain_ban #172

Triggered via push October 13, 2024 16:52
Status Success
Total duration 6m 33s
Artifacts 2

ci.yml

on: push
Build Sphinx documentation
47s
Build Sphinx documentation
Lint and build front-end
57s
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
6s
Push coverage to Coveralls
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
assets Expired
17.9 MB
github-pages Expired
4.35 MB