Skip to content
CI tests

Improve support for writing checkpoints in aspif format (#530) #661

Sign in to view logs

Improve support for writing checkpoints in aspif format (#530)

Improve support for writing checkpoints in aspif format (#530) #661

Run time

Learn about OS pricing on GitHub Actions
Job Run time
clingo 3.11 ubuntu-latest
7m 19s
clingo 3.11 macos-latest
6m 20s
clingo 3.11 windows-latest
10m 52s
24m 31s