Skip to content

Actions: sosy-lab/java-smt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
790 workflow runs
790 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
pages build and deployment pages-build-deployment #832: by sosy-bot
38s gh-pages
gh-pages
38s
Merge pull request #647 from sosy-lab/646-bitwuzla-cvc5-optimize-alls… CI #318: Commit 299570f pushed by baierd
18m 48s master
master
18m 48s
pages build and deployment pages-build-deployment #831: by sosy-bot
39s gh-pages
gh-pages
39s
Merge pull request #639 from sosy-lab/638-include-javadocsources-for-… CI #317: Commit ebbb72e pushed by kfriedberger
18m 14s master
master
18m 14s
#385: Support for Maven Upload via Sonatype CI #316: Pull request #637 synchronize by kfriedberger
18m 25s 385-maven-via-sonatype-maven-registry-instead-of-oss-nexus
385-maven-via-sonatype-maven-registry-instead-of-oss-nexus
18m 25s
Add logic, engine and further options for Z3 CI #315: Pull request #626 synchronize by baierd
15m 32s 613-feature-request-setting-solver-logic-via-javasmt
613-feature-request-setting-solver-logic-via-javasmt
15m 32s
#385: Support for Maven Upload via Sonatype CI #314: Pull request #637 synchronize by kfriedberger
17m 37s 385-maven-via-sonatype-maven-registry-instead-of-oss-nexus
385-maven-via-sonatype-maven-registry-instead-of-oss-nexus
17m 37s
#385: Support for Maven Upload via Sonatype CI #313: Pull request #637 synchronize by kfriedberger
17m 17s 385-maven-via-sonatype-maven-registry-instead-of-oss-nexus
385-maven-via-sonatype-maven-registry-instead-of-oss-nexus
17m 17s
Add JavaDoc and sources for JavaSMT and all solvers CI #312: Pull request #639 synchronize by kfriedberger
16m 11s 638-include-javadocsources-for-all-solvers
638-include-javadocsources-for-all-solvers
16m 11s
Bitwuzla: Optimize memory usage CI #311: Pull request #647 opened by daniel-raffler
17m 18s 646-bitwuzla-cvc5-optimize-allsat-implementation
646-bitwuzla-cvc5-optimize-allsat-implementation
17m 18s
Add JavaDoc and sources for JavaSMT and all solvers CI #310: Pull request #639 synchronize by kfriedberger
19m 16s 638-include-javadocsources-for-all-solvers
638-include-javadocsources-for-all-solvers
19m 16s
#385: Support for Maven Upload via Sonatype CI #309: Pull request #637 synchronize by kfriedberger
12m 42s 385-maven-via-sonatype-maven-registry-instead-of-oss-nexus
385-maven-via-sonatype-maven-registry-instead-of-oss-nexus
12m 42s
pages build and deployment pages-build-deployment #830: by sosy-bot
37s gh-pages
gh-pages
37s
#385: Support for Maven Upload via Sonatype CI #308: Pull request #637 synchronize by kfriedberger
16m 20s 385-maven-via-sonatype-maven-registry-instead-of-oss-nexus
385-maven-via-sonatype-maven-registry-instead-of-oss-nexus
16m 20s
Add JavaDoc and sources for JavaSMT and all solvers CI #307: Pull request #639 synchronize by kfriedberger
19m 5s 638-include-javadocsources-for-all-solvers
638-include-javadocsources-for-all-solvers
19m 5s
pages build and deployment pages-build-deployment #829: by sosy-bot
40s gh-pages
gh-pages
40s
Merge pull request #645 from sosy-lab/cvc5-update-2026-04-08-ca862b4 CI #306: Commit 7d5d447 pushed by kfriedberger
20m 9s master
master
20m 9s
CVC5: update to 2026-04-08-ca862b4. CI #305: Pull request #645 opened by kfriedberger
18m 53s cvc5-update-2026-04-08-ca862b4
cvc5-update-2026-04-08-ca862b4
18m 53s
Add JavaDoc and sources for JavaSMT and all solvers CI #304: Pull request #639 synchronize by kfriedberger
17m 22s 638-include-javadocsources-for-all-solvers
638-include-javadocsources-for-all-solvers
17m 22s
Update Intellij project files for Java17 CI #303: Pull request #634 synchronize by daniel-raffler
12m 53s intellij-java17
intellij-java17
12m 53s
pages build and deployment pages-build-deployment #828: by sosy-bot
39s gh-pages
gh-pages
39s
Merge pull request #642 from sosy-lab/cvc4-noFinalizers CI #302: Commit 74f0ec7 pushed by kfriedberger
18m 37s master
master
18m 37s
CVC4: update CVC4 to v1.8.1-X to remove buggy finalizers (again) CI #301: Pull request #642 synchronize by kfriedberger
18m 35s cvc4-noFinalizers
cvc4-noFinalizers
18m 35s
CVC4: update CVC4 to v1.8.1-X to remove buggy finalizers (again) CI #300: Pull request #642 synchronize by kfriedberger
15m 30s cvc4-noFinalizers
cvc4-noFinalizers
15m 30s
CVC4: update CVC4 to v1.8.1-X to remove buggy finalizers (again) CI #299: Pull request #642 opened by kfriedberger
16m 14s cvc4-noFinalizers
cvc4-noFinalizers
16m 14s