Skip to content
Check conflicts

Merge PR #18591: Refolding "simpl never" constants hiding fixpoints i… #5283

Sign in to view logs

Merge PR #18591: Refolding "simpl never" constants hiding fixpoints i…

Merge PR #18591: Refolding "simpl never" constants hiding fixpoints i… #5283

Run time

Learn about OS pricing on GitHub Actions
Job Run time
main
2s
2s