Merge pull request #190 from magomedovs/minor_fixes #176

Sign in to view logs

Triggered via push July 11, 2024 21:53

bangerth

master

Status Success

Total duration 13m 56s

Artifacts –

linux.yml

on: push

Matrix: build