Skip to content
.github/workflows/generate_docs.yml

fixes #1845 #1256

Sign in to view logs

fixes #1845

fixes #1845 #1256

Triggered via pull request February 22, 2026 08:24
@affeldt-aistaffeldt-aist
opened #1854
affeldt-aist:pseudometric_20260222
Status Success
Total duration 43m 28s
Artifacts 1

generate_docs.yml

on: pull_request
generate-artifacts
42m 31s
generate-artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_pseudometric_20260222
6.75 MB
sha256:e3cce6181ee42403d610d6c584b7af5a6ebdf115ca42fbb4fef72563dccbdb2c