Skip to content
Target & Verify

Drop the commit progress spinner, instead everything is handled under "solve" #8670

Sign in to view logs

Drop the commit progress spinner, instead everything is handled under "solve"

Drop the commit progress spinner, instead everything is handled under "solve" #8670

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Target & Verify PR
10s
10s