Skip to content

Actions: UnitTestBot/ksmt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
47 workflow runs
47 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
Upgrade cvc to 1.3.4 Build and run simple ksmt tests #447: Pull request #179 edited by Saloed
8m 51s upgrade-cvc5-1.3.4
upgrade-cvc5-1.3.4
8m 51s
Upgrade cvc to 1.3.4 Build and run simple ksmt tests #446: Pull request #179 edited by Saloed
51m 6s upgrade-cvc5-1.3.4
upgrade-cvc5-1.3.4
51m 6s
Upgrade cvc to 1.3.4 Build and run simple ksmt tests #445: Pull request #179 edited by Saloed
7m 36s upgrade-cvc5-1.3.4
upgrade-cvc5-1.3.4
7m 36s
Upgrade cvc to 1.3.4 Build and run simple ksmt tests #444: Pull request #179 edited by Saloed
8m 13s upgrade-cvc5-1.3.4
upgrade-cvc5-1.3.4
8m 13s
Upgrade cvc to 1.3.4 Build and run simple ksmt tests #443: Pull request #179 edited by Saloed
22m 0s upgrade-cvc5-1.3.4
upgrade-cvc5-1.3.4
22m 0s
Upgrade cvc to 1.3.4 Build and run simple ksmt tests #442: Pull request #179 edited by Saloed
11m 4s upgrade-cvc5-1.3.4
upgrade-cvc5-1.3.4
11m 4s
Upgrade cvc to 1.3.4 Build and run simple ksmt tests #441: Pull request #179 edited by Saloed
8m 6s upgrade-cvc5-1.3.4
upgrade-cvc5-1.3.4
8m 6s
Upgrade cvc to 1.3.4 Build and run simple ksmt tests #440: Pull request #179 opened by Saloed
8m 3s upgrade-cvc5-1.3.4
upgrade-cvc5-1.3.4
8m 3s
Upgrade Z3 to 5.0.0 (#178) Build and run simple ksmt tests #439: Commit 73470db pushed by Saloed
8m 46s main
main
8m 46s
Build and run long ksmt tests Build and run long ksmt tests #132: Manually run by Saloed
44m 39s upgrade-z3-5.0.0
upgrade-z3-5.0.0
44m 39s
Upgrade Z3 to 5.0.0 Build and run simple ksmt tests #438: Pull request #178 opened by Saloed
8m 28s upgrade-z3-5.0.0
upgrade-z3-5.0.0
8m 28s
pages build and deployment pages-build-deployment #44: by Saloed
27s gh-pages
gh-pages
27s
Updated Z3 Build and run simple ksmt tests #437: Pull request #177 edited by tochilinak
7m 42s tochilinak:tochilinak/z3-update
tochilinak:tochilinak/z3-update
7m 42s
Updated Z3 Build and run simple ksmt tests #436: Pull request #177 edited by tochilinak
7m 20s tochilinak:tochilinak/z3-update
tochilinak:tochilinak/z3-update
7m 20s
Updated Z3 Build and run simple ksmt tests #435: Pull request #177 edited by Saloed
6m 31s tochilinak:tochilinak/z3-update
tochilinak:tochilinak/z3-update
6m 31s
Updated Z3 Build and run simple ksmt tests #434: Pull request #177 opened by tochilinak
11m 7s tochilinak:tochilinak/z3-update
tochilinak:tochilinak/z3-update
11m 7s
0.6.4 Release #65: Release 0.6.4 published by Saloed
6m 45s
6m 45s
Transformer cache extension points (#176) Build and run simple ksmt tests #433: Commit 72bcfeb pushed by Saloed
11m 42s main
main
11m 42s
Transformer cache extension points Build and run simple ksmt tests #432: Pull request #176 opened by Saloed
13m 41s cache-open
cache-open
13m 41s
0.6.3 Release #64: Release 0.6.3 published by Saloed
6m 26s
6m 26s
Upgrade version to 0.6.3 Build and run simple ksmt tests #431: Commit 0d5ba1e pushed by Saloed
10m 14s main
main
10m 14s
Release Release #63: published by Saloed
6m 13s
6m 13s
Fix jar naming Build and run simple ksmt tests #430: Commit 03c2a5c pushed by Saloed
10m 8s main
main
10m 8s
0.6.2 Release #62: Release 0.6.2 published by Saloed
6m 30s
6m 30s
Use JDK 17 on CI Build and run simple ksmt tests #429: Commit e11aae9 pushed by Saloed
10m 18s main
main
10m 18s