Skip to content
GitHub macOS CI

Fixes #17782: anomaly when trying to disable a non existing custom notation #7363

Sign in to view logs

Fixes #17782: anomaly when trying to disable a non existing custom notation

Fixes #17782: anomaly when trying to disable a non existing custom notation #7363

Triggered via pull request July 26, 2023 17:11
@herbelinherbelin
synchronize #17891
herbelin:master+fix17782-anomaly-disable-non-existing-custom-notation
Status Success
Total duration 36m 26s
Artifacts –

ci-macos.yml

on: pull_request
macOS
36m 12s
macOS
Fit to window
Zoom out
Zoom in