Skip to content
github-linux

Lower heading level by one, to better integrate with generated headers. #158

Sign in to view logs

Lower heading level by one, to better integrate with generated headers.

Lower heading level by one, to better integrate with generated headers. #158

Triggered via pull request June 26, 2024 12:18
@bangerthbangerth
opened #183
bangerth:lower
Status Success
Total duration 12m 6s
Artifacts –

linux.yml

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