Skip to content

Actions: UnitTestBot/ksmt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
54 workflow runs
54 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
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
Release Release #61: published by Saloed
2m 0s
2m 0s
Fix JDK (#175) Build and run simple ksmt tests #428: Commit d566c2d pushed by Saloed
10m 10s main
main
10m 10s
Fix JDK Build and run simple ksmt tests #427: Pull request #175 edited by Saloed
12m 23s fix-jdk
fix-jdk
12m 23s
Fix JDK Build and run simple ksmt tests #426: Pull request #175 opened by Saloed
31s fix-jdk
fix-jdk
31s
0.6.1 Release #60: Release 0.6.1 published by Saloed
6m 18s
6m 18s
Upgrade solvers (#174) Build and run simple ksmt tests #425: Commit a7802bc pushed by Saloed
10m 0s main
main
10m 0s
Upgrade solvers Build and run simple ksmt tests #424: Pull request #174 edited by Saloed
10m 59s upgrade-solvers
upgrade-solvers
10m 59s
Upgrade solvers Build and run simple ksmt tests #423: Pull request #174 edited by Saloed
7m 54s upgrade-solvers
upgrade-solvers
7m 54s
Build and run long ksmt tests Build and run long ksmt tests #131: Manually run by Saloed
1h 4m 36s upgrade-solvers
upgrade-solvers
1h 4m 36s
Build and run long ksmt tests Build and run long ksmt tests #130: Manually run by Saloed
1h 32m 8s upgrade-solvers
upgrade-solvers
1h 32m 8s
Upgrade solvers Build and run simple ksmt tests #422: Pull request #174 edited by Saloed
9m 53s upgrade-solvers
upgrade-solvers
9m 53s
Build and run long ksmt tests Build and run long ksmt tests #129: Manually run by Saloed
5h 31m 21s upgrade-solvers
upgrade-solvers
5h 31m 21s
Build and run long ksmt tests Build and run long ksmt tests #128: Manually run by Saloed
4h 27m 23s upgrade-solvers
upgrade-solvers
4h 27m 23s
Build and run long ksmt tests Build and run long ksmt tests #127: Manually run by Saloed
4h 26m 6s upgrade-solvers
upgrade-solvers
4h 26m 6s
Build and run long ksmt tests Build and run long ksmt tests #126: Manually run by Saloed
2m 26s upgrade-solvers
upgrade-solvers
2m 26s
Build and run long ksmt tests Build and run long ksmt tests #125: Manually run by Saloed
6m 26s upgrade-solvers
upgrade-solvers
6m 26s
Upgrade solvers Build and run simple ksmt tests #421: Pull request #174 edited by Saloed
11m 57s upgrade-solvers
upgrade-solvers
11m 57s
Upgrade solvers Build and run simple ksmt tests #420: Pull request #174 edited by Saloed
8m 54s upgrade-solvers
upgrade-solvers
8m 54s