Skip to content

Merge pull request #868 from matthewhoffman/landice/update_MALI-Dev_s… #1386

Merge pull request #868 from matthewhoffman/landice/update_MALI-Dev_s…

Merge pull request #868 from matthewhoffman/landice/update_MALI-Dev_s… #1386

Triggered via push October 28, 2024 22:20
Status Success
Total duration 19s
Artifacts
lint with pre-commit
8s
lint with pre-commit
Matrix: build
Fit to window
Zoom out
Zoom in