updates for Yury's changes · loefflerd/ModularFormDimensions@8d78907

Triggered via push February 12, 2026 09:02

loefflerd

master

Status Success

Total duration 41m 43s

Artifacts 1

lean_action_ci.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	31.1 MB	`sha256:51f9ba118071fe8aba676ea0e5fd49e9f38674b194a5aa6b19ba6d42da7c8d11`