Skip to content

Actions: sosy-lab/java-smt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
638 workflow runs
638 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Yices to version 2.7.0 CI #141: Pull request #524 synchronize by daniel-raffler
28m 25s yices-2.7.0
yices-2.7.0
28m 25s
Switch from Java 11 to Java 17 CI #140: Pull request #611 synchronize by kfriedberger
7m 59s java-17
java-17
7m 59s
Switch from Java 11 to Java 17 CI #139: Pull request #611 synchronize by kfriedberger
9m 9s java-17
java-17
9m 9s
Switch from Java 11 to Java 17 CI #138: Pull request #611 synchronize by kfriedberger
7m 24s java-17
java-17
7m 24s
pages build and deployment pages-build-deployment #809: by sosy-bot
36s gh-pages
gh-pages
36s
Switch from Java 11 to Java 17 CI #137: Pull request #611 synchronize by kfriedberger
6m 36s java-17
java-17
6m 36s
Switch from Java 11 to Java 17 CI #136: Pull request #611 synchronize by kfriedberger
7m 52s java-17
java-17
7m 52s
Switch from Java 11 to Java 17 CI #135: Pull request #611 synchronize by kfriedberger
18m 20s java-17
java-17
18m 20s
Switch from Java 11 to Java 17 CI #134: Pull request #611 opened by kfriedberger
19m 20s java-17
java-17
19m 20s
update several dependencies CI #133: Pull request #610 opened by kfriedberger
29m 47s update-dependencies-2026-03
update-dependencies-2026-03
29m 47s
Z3: update from v4.15.4 to v4.16.0 CI #132: Pull request #609 synchronize by kfriedberger
12m 50s 608-update-z3-to-newly-released-version-4160
608-update-z3-to-newly-released-version-4160
12m 50s
Z3: update from v4.15.4 to v4.16.0 CI #131: Pull request #609 synchronize by kfriedberger
10m 25s 608-update-z3-to-newly-released-version-4160
608-update-z3-to-newly-released-version-4160
10m 25s
pages build and deployment pages-build-deployment #808: by sosy-bot
40s gh-pages
gh-pages
40s
Merge pull request #580 from sosy-lab/575-issues-with-ufs-that-take-n… CI #130: Commit ba802e0 pushed by daniel-raffler
11m 4s master
master
11m 4s
Update Yices to version 2.7.0 CI #129: Pull request #524 synchronize by daniel-raffler
8m 27s yices-2.7.0
yices-2.7.0
8m 27s
Update Yices to version 2.7.0 CI #128: Pull request #524 synchronize by daniel-raffler
7m 25s yices-2.7.0
yices-2.7.0
7m 25s
Update Yices to version 2.7.0 CI #127: Pull request #524 synchronize by daniel-raffler
12m 0s yices-2.7.0
yices-2.7.0
12m 0s
Update Yices to version 2.7.0 CI #126: Pull request #524 synchronize by daniel-raffler
8m 18s yices-2.7.0
yices-2.7.0
8m 18s
pages build and deployment pages-build-deployment #807: by sosy-bot
35s gh-pages
gh-pages
35s
Add more info to changelog about system requirements of Z3 and MathSAT5 CI #125: Commit 88c2943 pushed by baierd
7m 45s master
master
7m 45s
pages build and deployment pages-build-deployment #806: by sosy-bot
1m 8s gh-pages
gh-pages
1m 8s
Update to JavaSMT-Yices2 for 6.0.0 release to version 5.0.1-1258-gdad… CI #124: Commit fec621a pushed by baierd
26m 37s master
master
26m 37s
Z3: update from v4.15.4 to v4.16.0 CI #123: Pull request #609 synchronize by kfriedberger
20m 12s 608-update-z3-to-newly-released-version-4160
608-update-z3-to-newly-released-version-4160
20m 12s
Update Yices to version 2.7.0 CI #122: Pull request #524 synchronize by daniel-raffler
6m 37s yices-2.7.0
yices-2.7.0
6m 37s
pages build and deployment pages-build-deployment #805: by sosy-bot
57s gh-pages
gh-pages
57s