Skip to content

chore(bors): merge pull request #891 #2577

chore(bors): merge pull request #891

chore(bors): merge pull request #891 #2577

Triggered via push November 28, 2024 17:54
Status Success
Total duration 20s
Artifacts
submodule-branch
8s
submodule-branch
Fit to window
Zoom out
Zoom in