Skip to content

Merge pull request #30 from firedrakeproject/connorjward/merge-upstream #27

Merge pull request #30 from firedrakeproject/connorjward/merge-upstream

Merge pull request #30 from firedrakeproject/connorjward/merge-upstream #27

Triggered via push December 5, 2024 11:41
Status Skipped
Total duration 3s
Artifacts

autopush.yml

on: push
Automatic push to gitlab.tiker.net
0s
Automatic push to gitlab.tiker.net
Fit to window
Zoom out
Zoom in