Skip to content

Merge pull request #21797 from github/tausbn/yeast-desugaring-tool #4827

Merge pull request #21797 from github/tausbn/yeast-desugaring-tool

Merge pull request #21797 from github/tausbn/yeast-desugaring-tool #4827

Triggered via push May 7, 2026 11:48
Status Success
Total duration 18m 12s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

1 warning
CodeQL-Build
Cannot build an overlay-base database because build-mode is set to "undefined" instead of "none". Falling back to creating a normal full database instead.