CI

Support `opens_invariants` with concrete sets #460

Sign in to view logs

Triggered via push September 23, 2024 23:06

jb-parse-concrete-opens-invariant

Status Success

Total duration 2m 31s

Artifacts –

ci.yml

on: push