Skip to content

Merge pull request #5285 from unisonweb/24-08-15-namespace-directive #2246

Merge pull request #5285 from unisonweb/24-08-15-namespace-directive

Merge pull request #5285 from unisonweb/24-08-15-namespace-directive #2246

Triggered via push August 18, 2024 16:30
Status Success
Total duration 19m 10s
Artifacts
Matrix: nix
Fit to window
Zoom out
Zoom in