Skip to content

Merge branch 'master' into 2245_DynDofMaps_split_rename #1597

Merge branch 'master' into 2245_DynDofMaps_split_rename

Merge branch 'master' into 2245_DynDofMaps_split_rename #1597

Triggered via push January 22, 2024 08:36
Status Skipped
Total duration 3s
Artifacts

nemo_tests.yml

on: push
run_if_on_mirror
0s
run_if_on_mirror
Fit to window
Zoom out
Zoom in