Skip to content

chore(bors): merge pull request #775 #41

chore(bors): merge pull request #775

chore(bors): merge pull request #775 #41

Triggered via push March 7, 2024 10:47
Status Success
Total duration 14s
Artifacts
submodule-branch
5s
submodule-branch
Fit to window
Zoom out
Zoom in