Skip to content
DOLFINx CI

Merge branch 'main' into garth/refine-partition #31530

Sign in to view logs

Merge branch 'main' into garth/refine-partition

Merge branch 'main' into garth/refine-partition #31530

Triggered via push October 2, 2024 06:41
@garth-wellsgarth-wells
pushed 204f93d
garth/refine-partition
Status Success
Total duration 19m 17s
Artifacts 3

ccpp.yml

on: push
Lint
20s
Lint
Build and publish docs
5m 44s
Build and publish docs
Build and test
18m 42s
Build and test
Matrix: build-with-petsc
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Lint
Process completed with exit code 123.
Lint
Process completed with exit code 123.
Lint
Process completed with exit code 123.

Artifacts

Produced during runtime
Name Size
docs-cpp-doxygen Expired
1.76 MB
docs-cpp-sphinx Expired
3.04 MB
docs-python Expired
3.53 MB