Skip to content
.github/workflows/generate_docs.yml

extract a last few lemmas from the sampling branch #711

Sign in to view logs

extract a last few lemmas from the sampling branch

extract a last few lemmas from the sampling branch #711

Triggered via pull request July 7, 2025 11:42
@affeldt-aistaffeldt-aist
synchronize #1678
affeldt-aist:functions_20250707
Status Success
Total duration 24m 35s
Artifacts 1

generate_docs.yml

on: pull_request
generate-artifacts
24m 32s
generate-artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_functions_20250707 Expired
20.6 MB
sha256:2e1913fd0e4a371b26793d9d5c650d21211b150bf9ef8e693546757d5046721f