Skip to content
Label PR based on Comment

chore: deprecate Expr.forallArity, per todo #1410

Sign in to view logs

chore: deprecate Expr.forallArity, per todo

chore: deprecate Expr.forallArity, per todo #1410

Run time

Learn about OS pricing on GitHub Actions
Job Run time
update-label
0s
0s