Skip to content

Merge pull request #190 from imperialCHEPI/dont_build_docs_by_default #247

Merge pull request #190 from imperialCHEPI/dont_build_docs_by_default

Merge pull request #190 from imperialCHEPI/dont_build_docs_by_default #247

Triggered via push July 25, 2023 08:17
Status Success
Total duration 18m 22s
Artifacts 2

ci.yml

on: push
Run pre-commit hooks
1m 49s
Run pre-commit hooks
Matrix: Build and test
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
health-gps-linux Expired
94.9 MB
health-gps-windows Expired
18.7 MB