Skip to content

Use SMTInterpol as a Maven dependency #712

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

Draft
schuessf wants to merge 11 commits into
base: dev
Choose a base branch
from
+419 −144,662

Use original SMTInterpol from Maven again to fix the build

fe2f560
Select commit
Loading
Failed to load commit list.
Draft

Use SMTInterpol as a Maven dependency #712

Use original SMTInterpol from Maven again to fix the build
fe2f560
Select commit
Loading
Failed to load commit list.
Ultimate Jenkins CI / Ultimate CI succeeded Jul 23, 2025 in 2m 43s

Success

Details

  • Declarative: Tool Install (2.1 sec)
    • Checkout (1 min 24 sec)
    • Check environment (4.3 sec)
    • Build and run basic tests (1 min 8 sec)
View more details on Ultimate Jenkins CI