Skip to content
.github/workflows/generate_docs.yml

is_deriveX: is that a generalization? #565

Sign in to view logs

is_deriveX: is that a generalization?

is_deriveX: is that a generalization? #565

Triggered via pull request June 5, 2025 15:19
@affeldt-aistaffeldt-aist
synchronize #1637
affeldt-aist:derive_20250605
Status Success
Total duration 23m 13s
Artifacts 1

generate_docs.yml

on: pull_request
generate-artifacts
23m 7s
generate-artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_derive_20250605 Expired
20.7 MB
sha256:b0565182d80e64127bcae21d7e30d3d69327bcdd8d6afe2a9e1c5457f1bee77c