Skip to content
CI tests

Clingo issue #528: Prioritize work requests during lookahead. #120

Sign in to view logs

Clingo issue #528: Prioritize work requests during lookahead.

Clingo issue #528: Prioritize work requests during lookahead. #120

Run time

Learn about OS pricing on GitHub Actions
Job Run time
clasp tests on ubuntu-latest
55s
clasp tests on macos-latest
48s
clasp tests on windows-latest
2m 24s
clasp tests on ubuntu-latest
51s
4m 58s