Skip to content

rename weak_topology -> initial_topology #1208

rename weak_topology -> initial_topology

rename weak_topology -> initial_topology #1208

Triggered via pull request February 4, 2026 02:47
Status Success
Total duration 43m 36s
Artifacts 1

generate_docs.yml

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

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_fixes_1570
6.58 MB
sha256:9932ca3c03f4af2f04b7e85a6245c719a61130b251099af1e5bcdfefc330a912