Skip to content

Merge branch 'development' into generalize_fillpatching #5276

Merge branch 'development' into generalize_fillpatching

Merge branch 'development' into generalize_fillpatching #5276

Triggered via push October 29, 2024 21:22
Status Success
Total duration 2m 15s
Artifacts

docs.yml

on: push
build-and-deploy
1m 52s
build-and-deploy
Fit to window
Zoom out
Zoom in