Skip to content

Actions: emina/rosette

Actions

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tests.yml
59 workflow runs
59 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump docker/build-push-action from 5 to 6 Tests #183: Commit cf703c6 pushed by sorawee
June 17, 2024 23:53 38m 14s master
master
June 17, 2024 23:53 38m 14s
Bump docker/build-push-action from 5 to 6 Tests #182: Pull request #282 synchronize by dependabot bot
June 17, 2024 22:19 39m 16s dependabot/github_actions/docker/build-push-action-6
dependabot/github_actions/docker/build-push-action-6
June 17, 2024 22:19 39m 16s
Bump docker/build-push-action from 5 to 6 Tests #181: Commit 0a95404 pushed by dependabot bot
June 17, 2024 22:18 39m 32s dependabot/github_actions/docker/build-push-action-6
dependabot/github_actions/docker/build-push-action-6
June 17, 2024 22:18 39m 32s
Attempt STP fix Tests #180: Commit bb0dec0 pushed by sorawee
June 17, 2024 22:17 39m 40s master
master
June 17, 2024 22:17 39m 40s
Attempt STP fix Tests #179: Pull request #283 opened by gussmith23
June 17, 2024 21:16 39m 23s gussmith23:gussmith23-2024-06-17-stp-fix
gussmith23:gussmith23-2024-06-17-stp-fix
June 17, 2024 21:16 39m 23s
Bump docker/build-push-action from 5 to 6 Tests #178: Pull request #282 opened by dependabot bot
June 17, 2024 13:13 6m 18s dependabot/github_actions/docker/build-push-action-6
dependabot/github_actions/docker/build-push-action-6
June 17, 2024 13:13 6m 18s
Bump docker/build-push-action from 5 to 6 Tests #177: Commit a32f5ec pushed by dependabot bot
June 17, 2024 13:13 4m 30s dependabot/github_actions/docker/build-push-action-6
dependabot/github_actions/docker/build-push-action-6
June 17, 2024 13:13 4m 30s
core: optimizing lifiting Tests #176: Pull request #281 opened by sorawee
March 16, 2024 13:04 40m 21s sorawee:optimize-lifting
sorawee:optimize-lifting
March 16, 2024 13:04 40m 21s
seq: optimize append Tests #175: Pull request #280 opened by sorawee
March 12, 2024 13:01 42m 0s sorawee:optimize-append
sorawee:optimize-append
March 12, 2024 13:01 42m 0s
z3: bump version to 4.12.6 Tests #174: Pull request #279 synchronize by sorawee
March 6, 2024 12:45 46m 45s sorawee:z3-bump-4-12-6
sorawee:z3-bump-4-12-6
March 6, 2024 12:45 46m 45s
z3: bump version to 4.12.6 Tests #173: Pull request #279 synchronize by sorawee
March 6, 2024 06:31 42m 54s sorawee:z3-bump-4-12-6
sorawee:z3-bump-4-12-6
March 6, 2024 06:31 42m 54s
z3: bump version to 4.12.6 Tests #172: Pull request #279 synchronize by sorawee
March 6, 2024 04:44 14m 12s sorawee:z3-bump-4-12-6
sorawee:z3-bump-4-12-6
March 6, 2024 04:44 14m 12s
z3: bump version to 4.12.6 Tests #171: Pull request #279 synchronize by sorawee
March 6, 2024 04:42 13m 47s sorawee:z3-bump-4-12-6
sorawee:z3-bump-4-12-6
March 6, 2024 04:42 13m 47s
z3: bump version to 4.12.6 Tests #170: Pull request #279 synchronize by sorawee
March 5, 2024 19:12 15m 34s sorawee:z3-bump-4-12-6
sorawee:z3-bump-4-12-6
March 5, 2024 19:12 15m 34s
z3: bump version to 4.12.6 Tests #169: Pull request #279 synchronize by sorawee
March 5, 2024 15:55 15m 53s sorawee:z3-bump-4-12-6
sorawee:z3-bump-4-12-6
March 5, 2024 15:55 15m 53s
z3: bump version to 4.12.6 Tests #168: Pull request #279 synchronize by sorawee
March 5, 2024 14:48 14m 48s sorawee:z3-bump-4-12-6
sorawee:z3-bump-4-12-6
March 5, 2024 14:48 14m 48s
z3: bump version to 4.12.6 Tests #167: Pull request #279 opened by sorawee
March 5, 2024 13:32 9m 55s sorawee:z3-bump-4-12-6
sorawee:z3-bump-4-12-6
March 5, 2024 13:32 9m 55s
solvers: avoid specifying solver paths in define-runtime-path Tests #166: Pull request #278 opened by sorawee
March 5, 2024 13:07 40m 51s sorawee:define-runtime-path-solver
sorawee:define-runtime-path-solver
March 5, 2024 13:07 40m 51s
feat: add a parameter to adjust SMT encoding of literals Tests #165: Pull request #276 opened by sorawee
December 23, 2023 19:36 41m 4s sorawee:fix-literal-encoding
sorawee:fix-literal-encoding
December 23, 2023 19:36 41m 4s
Add support for STP and Yices2 (#273) Tests #164: Commit edf682d pushed by sorawee
December 14, 2023 21:43 42m 42s master
master
December 14, 2023 21:43 42m 42s
Add support for STP and Yices2 Tests #163: Pull request #273 synchronize by gussmith23
December 14, 2023 20:38 41m 53s gussmith23:vcanumalla/add-stp
gussmith23:vcanumalla/add-stp
December 14, 2023 20:38 41m 53s
Add support for STP and Yices2 Tests #162: Pull request #273 synchronize by gussmith23
December 14, 2023 20:14 41m 56s gussmith23:vcanumalla/add-stp
gussmith23:vcanumalla/add-stp
December 14, 2023 20:14 41m 56s
Add support for STP and Yices2 Tests #161: Pull request #273 synchronize by gussmith23
December 14, 2023 20:06 41m 18s gussmith23:vcanumalla/add-stp
gussmith23:vcanumalla/add-stp
December 14, 2023 20:06 41m 18s
Add support for STP and Yices2 Tests #160: Pull request #273 synchronize by gussmith23
December 14, 2023 19:14 42m 1s gussmith23:vcanumalla/add-stp
gussmith23:vcanumalla/add-stp
December 14, 2023 19:14 42m 1s
Add support for STP and Yices2 Tests #159: Pull request #273 synchronize by gussmith23
December 14, 2023 19:08 43m 2s gussmith23:vcanumalla/add-stp
gussmith23:vcanumalla/add-stp
December 14, 2023 19:08 43m 2s