Skip to content

chore(bors): merge pull request #739 #81

chore(bors): merge pull request #739

chore(bors): merge pull request #739 #81

Triggered via push February 13, 2024 12:34
Status Failure
Total duration 10s
Artifacts
submodule-branch
3s
submodule-branch
Fit to window
Zoom out
Zoom in

Annotations

1 error
submodule-branch
Input required and not supplied: token