Skip to content

rename weak_topology -> initial_topology #1222

rename weak_topology -> initial_topology

rename weak_topology -> initial_topology #1222

Triggered via pull request February 6, 2026 02:47
Status Success
Total duration 41m 8s
Artifacts 1

generate_docs.yml

on: pull_request
generate-artifacts
41m 5s
generate-artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_fixes_1570
6.58 MB
sha256:6745826a2d019631e6640b5297acb34ecdca3024f8613a80db0966930afcb461