Skip to content

chore(bors): merge pull request #568 #3159

chore(bors): merge pull request #568

chore(bors): merge pull request #568 #3159

Triggered via push November 12, 2024 18:01
Status Success
Total duration 26s
Artifacts
commitlint
14s
commitlint
Fit to window
Zoom out
Zoom in