Skip to content

Merge pull request #171 from Pressio/170-rename-pressio-to-pressio-rom #421

Merge pull request #171 from Pressio/170-rename-pressio-to-pressio-rom

Merge pull request #171 from Pressio/170-rename-pressio-to-pressio-rom #421

Triggered via push April 3, 2025 16:21
Status Success
Total duration 11m 27s
Artifacts

test-all.yml

on: push
Matrix: test
Fit to window
Zoom out
Zoom in