Back to pull request #857

Merge branch 'main' into bob/min-log #7676

Sign in to view logs

Triggered via push February 7, 2025 13:51

bwoebi

bob/min-log

Status Success

Total duration 4m 24s

Artifacts –

lint.yml

on: push

Presence of licence headers

Valid LICENSE-3rdparty.yml

Matrix: clippy