Merge pull request #16936 from simrnjandu/patch-1 #6414

Sign in to view logs

Summary
Jobs
- tidy
Run details
- Usage
- Workflow file

Triggered via push April 28, 2024 17:17

bangerth

master

Status Success

Total duration 38m 0s

Artifacts –

tidy.yml

on: push