Skip to content
.github/workflows/generate_docs.yml

metric structure #1070

Sign in to view logs

metric structure

metric structure #1070

Triggered via pull request December 5, 2025 05:27
@affeldt-aistaffeldt-aist
synchronize #1589
affeldt-aist:metric_space
Status Success
Total duration 38m 47s
Artifacts 1

generate_docs.yml

on: pull_request
generate-artifacts
38m 43s
generate-artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_metric_space
5.79 MB
sha256:e1ae7d13d25e30e24598b50a61e52818332bf48da664221f06911fbb77ebe579