Skip to content
SAP CATS ABI

contract: normalize_kleene returns WhereSet (WHERE-terminal only); GKAT Where/Check negation duality pinned #287

Sign in to view logs

contract: normalize_kleene returns WhereSet (WHERE-terminal only); GKAT Where/Check negation duality pinned

contract: normalize_kleene returns WhereSet (WHERE-terminal only); GKAT Where/Check negation duality pinned #287

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cats
1m 4s
1m 4s