Skip to content

scheduler: Replace the input parameter of AddScheduler with types.CheckerSchedulerType. #3009

scheduler: Replace the input parameter of AddScheduler with types.CheckerSchedulerType.

scheduler: Replace the input parameter of AddScheduler with types.CheckerSchedulerType. #3009

Triggered via pull request July 18, 2024 03:55
@okJiangokJiang
opened #8416
Status Success
Total duration 12s
Artifacts

label.yaml

on: pull_request_target
add_labels
3s
add_labels
Fit to window
Zoom out
Zoom in