Skip to content

Merge pull request #5517 from NomicFoundation/projext-root #46

Merge pull request #5517 from NomicFoundation/projext-root

Merge pull request #5517 from NomicFoundation/projext-root #46

Triggered via push July 23, 2024 15:43
Status Success
Total duration 40s
Artifacts
Changeset Check
30s
Changeset Check
Release Pre-Check
0s
Release Pre-Check
Release
0s
Release
Fit to window
Zoom out
Zoom in