New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Introduce --skip_sig_resolution flag, to be used when benchmarking #158

Merged

sifislag merged 4 commits into master from skip_sig_resolution_flag

Oct 8, 2024

Merged

Introduce --skip_sig_resolution flag, to be used when benchmarking #158

Fix mypy action

GitHub Actions / Test Results (Souffle 2.3) succeeded Oct 8, 2024 in 0s

All 57 tests pass in 47m 20s

57 tests +57 57 ✅ +57 47m 20s ⏱️ + 47m 20s
1 suites + 1 0 💤 ± 0
1 files + 1 0 ❌ ± 0

Results for commit b73ee31. ± Comparison against earlier commit 2022049.

View more details on GitHub Actions