Skip to content

Fix bug: missing fetch on subscribe call to github pr store #13765

Fix bug: missing fetch on subscribe call to github pr store

Fix bug: missing fetch on subscribe call to github pr store #13765

Triggered via pull request July 14, 2024 17:17
Status Success
Total duration 1m 17s
Artifacts

push.yaml

on: pull_request
changes
5s
changes
Matrix: rust-test
rust-lint
0s
rust-lint
check-rust-windows
0s
check-rust-windows
check-rust
4s
check-rust
Fit to window
Zoom out
Zoom in