Support opens_invariants
with concrete sets
#480
Triggered via pull request
September 24, 2024 20:16
Status
Success
Total duration
5m 45s
Artifacts
–