Skip to content
Propose PR

MODIFIED_GREEDY: Refute 1692 -> 47, 1832, 2441, 3050, 3456, 4065 #1291

Sign in to view logs

MODIFIED_GREEDY: Refute 1692 -> 47, 1832, 2441, 3050, 3456, 4065

MODIFIED_GREEDY: Refute 1692 -> 47, 1832, 2441, 3050, 3456, 4065 #1291

Run time

Learn about OS pricing on GitHub Actions
Job Run time
propose_pr
7s
7s