Skip to content
Label PR based on Comment

"failed to generate unfold theorem" for recursive nested match #2245

Sign in to view logs

"failed to generate unfold theorem" for recursive nested match

"failed to generate unfold theorem" for recursive nested match #2245

Run time

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