Skip to content

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

Restart engine when bot exceeds per-move time limit

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

Triggered via pull request January 26, 2024 11:04
Status Success
Total duration 1m 6s
Artifacts

mypy.yml

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