Merge pull request #161 from marcfehling/extract-locally #63

Sign in to view logs

Triggered via push September 9, 2023 01:11

bangerth

master

Status Success

Total duration 13m 16s

Artifacts –

linux.yml

on: push

Matrix: build