Skip to content

Remove Stdlib dependency (except for reals-stdlib and analysis-stdlib) #19

Remove Stdlib dependency (except for reals-stdlib and analysis-stdlib)

Remove Stdlib dependency (except for reals-stdlib and analysis-stdlib) #19

Triggered via pull request February 17, 2025 15:06
Status Success
Total duration 27m 2s
Artifacts 1

generate_docs.yml

on: pull_request
generate-artifacts
26m 48s
generate-artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_no-stdlib Expired
2.88 MB
sha256:91c53ce5446266667a02b26bf02d4c13b339f7baee04149f5c7241d4b6e86418