Skip to content

Merge pull request #29 from firedrakeproject/ksagiyam/merge_upstream #26

Merge pull request #29 from firedrakeproject/ksagiyam/merge_upstream

Merge pull request #29 from firedrakeproject/ksagiyam/merge_upstream #26

Triggered via push November 11, 2024 09:46
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