Skip to content

Merge branch 'dev' into liste_chrono_par_défaut #434

Merge branch 'dev' into liste_chrono_par_défaut

Merge branch 'dev' into liste_chrono_par_défaut #434

Triggered via push October 12, 2023 19:56
Status Success
Total duration 11m 13s
Artifacts 2
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 2s
Build Sphinx documentation
Lint and build front-end
53s
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
12s
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