Skip to content

Merge branch 'main' into generate_main_ermain_split #10

Merge branch 'main' into generate_main_ermain_split

Merge branch 'main' into generate_main_ermain_split #10

Triggered via push June 12, 2024 18:20
Status Success
Total duration 2m 42s
Artifacts

ctest.yml

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