Skip to content

Implement efficient subgame root detection via interval reachability #2839

Implement efficient subgame root detection via interval reachability

Implement efficient subgame root detection via interval reachability #2839

Triggered via pull request February 1, 2026 16:41
Status Success
Total duration 9m 52s
Artifacts

python.yml

on: pull_request
Matrix: linux
Matrix: macos-14
Matrix: macos-15
Matrix: windows
Fit to window
Zoom out
Zoom in