Skip to content

smt expr: revert the limit on lambda subst #1666

smt expr: revert the limit on lambda subst

smt expr: revert the limit on lambda subst #1666

Triggered via push December 16, 2024 18:41
Status Success
Total duration 3m 44s
Artifacts

codeql.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 warning
CodeQL-Build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636