Skip to content

Merge pull request #181 from bangerth/convert #156

Merge pull request #181 from bangerth/convert

Merge pull request #181 from bangerth/convert #156

Triggered via push June 26, 2024 11:57
Status Success
Total duration 11m 36s
Artifacts

linux.yml

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