Skip to content

chore(bors): merge pull request #884 #4763

chore(bors): merge pull request #884

chore(bors): merge pull request #884 #4763

Triggered via push November 5, 2024 09:56
Status Success
Total duration 18s
Artifacts
commitlint
7s
commitlint
Fit to window
Zoom out
Zoom in