Skip to content
Run checks: all modules

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

Sign in to view logs

Revert "Disjunction as CompetitiveIterator for numeric dynamic prunin…

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

Triggered via push November 5, 2024 11:00
@javannajavanna
pushed e37eaea
main
Status Success
Total duration 14m 39s
Artifacts –

run-checks-all.yml

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