Skip to content

Merge pull request #81 from samo38/master #748

Merge pull request #81 from samo38/master

Merge pull request #81 from samo38/master #748

Triggered via push December 12, 2023 22:04
Status Success
Total duration 1h 38m 27s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Matrix: Analyze gui
Matrix: Analyze mpi
Matrix: Analyze somo
Fit to window
Zoom out
Zoom in