Skip to content

Add qf_shid_entl/ls_nonrec_entail_ls_14 to passing list (takes 220 m…

d62cc11
Select commit
Loading
Failed to load commit list.
Merged

Use a list of <goal>s instead of a set #59

Add qf_shid_entl/ls_nonrec_entail_ls_14 to passing list (takes 220 m…
d62cc11
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs