Skip to content

Rename element name to type (#710) #4041

Rename element name to type (#710)

Rename element name to type (#710) #4041

Triggered via push September 23, 2024 05:01
Status Success
Total duration 44m 8s
Artifacts

ubuntu.yml

on: push
GCC w/ MPI w/ Python
43m 59s
GCC w/ MPI w/ Python
GCC w/o MPI w/ Python
20m 56s
GCC w/o MPI w/ Python
Fit to window
Zoom out
Zoom in