Skip to content

Merge branch 'develop' into feature-gmt #827

Merge branch 'develop' into feature-gmt

Merge branch 'develop' into feature-gmt #827

Triggered via push February 19, 2024 10:23
Status Success
Total duration 6m 38s
Artifacts 5

ci.yml

on: push
Build 1 on Linux
6m 27s
Build 1 on Linux
Build 2 on Linux
4m 45s
Build 2 on Linux
Make install on Linux
2m 15s
Make install on Linux
Pack tarball on Linux
4m 11s
Pack tarball on Linux
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
linux_install_log Expired
128 KB
linux_multi1_log Expired
431 KB
linux_multi2_log Expired
269 KB
linux_tarball_log Expired
250 KB
p4est_tarball Expired
5.68 MB