Skip to content

checkers.cpp: Update file using tools/get_checkers.py (#7684) #7005

checkers.cpp: Update file using tools/get_checkers.py (#7684)

checkers.cpp: Update file using tools/get_checkers.py (#7684) #7005

Triggered via push July 19, 2025 17:38
Status Success
Total duration 10m 35s
Artifacts 1
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
results Expired
7.63 KB
sha256:9cd6cef18c0e213751871a44579d5bef781ecd8400d5565bf1780da80e2131fc