Merge pull request #217 from dolfin-adjoint/JHopeCollins/petsctools-a… · dolfin-adjoint/pyadjoint@c9b9598

Triggered via push October 14, 2025 12:47

master

Status Success

Total duration 1m 21s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	13.5 MB	`sha256:118a1084d89cd4b6b7dcb6211fd1a3f694c44ffa1891d9c8971c001949697762`