Skip to content
Run checks: all modules

Revert "Disjunction as CompetitiveIterator for numeric dynamic prunin… #2970

Sign in to view logs

Revert "Disjunction as CompetitiveIterator for numeric dynamic prunin…

Revert "Disjunction as CompetitiveIterator for numeric dynamic prunin… #2970

Triggered via push November 5, 2024 11:06
@javannajavanna
pushed 7e97503
branch_10x
Status Success
Total duration 14m 39s
Artifacts –

run-checks-all.yml

on: push
Matrix: checks
Matrix: tests
Fit to window
Zoom out
Zoom in