Skip to content

fixed cmd bot commenting not working #3378

fixed cmd bot commenting not working

fixed cmd bot commenting not working #3378

Triggered via pull request July 11, 2024 09:00
Status Success
Total duration 2m 35s
Artifacts

checks-quick.yml

on: pull_request
set-image
9s
set-image
check-dependency-rules
8s
check-dependency-rules
check-workspace
14s
check-workspace
check-markdown
15s
check-markdown
fmt
1m 7s
fmt
check-rust-feature-propagation
2m 3s
check-rust-feature-propagation
test-rust-features
1m 49s
test-rust-features
check-toml-format
52s
check-toml-format
check-umbrella
2m 3s
check-umbrella
Fit to window
Zoom out
Zoom in