Skip to content

chore(bors): merge pull request #580 #3237

chore(bors): merge pull request #580

chore(bors): merge pull request #580 #3237

Triggered via push December 13, 2024 10:29
Status Success
Total duration 18s
Artifacts
commitlint
10s
commitlint
Fit to window
Zoom out
Zoom in

Annotations

1 warning
commitlint
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636