Skip to content

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

Restart engine when bot exceeds per-move time limit

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

Triggered via pull request January 29, 2024 00:59
Status Success
Total duration 51s
Artifacts

mypy.yml

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