Skip to content

chore(bors): merge pull request #788 #42

chore(bors): merge pull request #788

chore(bors): merge pull request #788 #42

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