Skip to content

Merge pull request #46 from firedrakeproject/dolci/improve_readme #63

Merge pull request #46 from firedrakeproject/dolci/improve_readme

Merge pull request #46 from firedrakeproject/dolci/improve_readme #63

Triggered via push October 4, 2023 12:42
Status Success
Total duration 4m 6s
Artifacts

build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in