Skip to content

Restart engine when bot exceeds per-move time limit #652

Restart engine when bot exceeds per-move time limit

Restart engine when bot exceeds per-move time limit #652

Triggered via pull request January 27, 2024 20:45
Status Success
Total duration 59s
Artifacts

mypy.yml

on: pull_request
Matrix: mypy
Fit to window
Zoom out
Zoom in