Skip to content
CI

The UnboundLoops lint and the Souffle-based equations solver #41

Sign in to view logs

The UnboundLoops lint and the Souffle-based equations solver

The UnboundLoops lint and the Souffle-based equations solver #41

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test (18.x, ubuntu-latest)
16s
test (18.x, windows-latest)
1m 0s
test (18.x, macos-latest)
18s
1m 34s