Skip to content

Merge pull request #7902 from sloriot/CGALLab-fix_menu_filtering #7919

Merge pull request #7902 from sloriot/CGALLab-fix_menu_filtering

Merge pull request #7902 from sloriot/CGALLab-fix_menu_filtering #7919

Triggered via push December 1, 2023 13:57
Status Success
Total duration 26m 58s
Artifacts

demo.yml

on: push
Fit to window
Zoom out
Zoom in