Skip to content

Actions: tudo-aqua/z3-turnkey

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
145 workflow runs
145 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

more robust Z3 version detection for testing License Check and Multi-Platform Test #104: Commit 2e56056 pushed by no-preserve-root
February 11, 2024 20:30 5m 40s main
main
February 11, 2024 20:30 5m 40s
more robust Z3 version detection for testing License Check and Multi-Platform Test #103: Commit 2177650 pushed by no-preserve-root
February 11, 2024 20:27 5m 55s main
main
February 11, 2024 20:27 5m 55s
more robust Z3 version detection for testing License Check and Multi-Platform Test #102: Commit d2c5655 pushed by no-preserve-root
February 11, 2024 20:21 1m 39s main
main
February 11, 2024 20:21 1m 39s
Use the externalized test runner for GitHub tests License Check and Multi-Platform Test #101: Commit 7743245 pushed by no-preserve-root
February 11, 2024 20:12 1m 41s main
main
February 11, 2024 20:12 1m 41s
Use the externalized test runner for GitHub tests License Check and Multi-Platform Test #100: Commit ff8a08d pushed by no-preserve-root
February 11, 2024 20:10 2m 47s main
main
February 11, 2024 20:10 2m 47s
Use the externalized test runner for GitHub tests License Check and Multi-Platform Test #99: Commit 5a25287 pushed by no-preserve-root
February 11, 2024 20:06 Startup failure main
main
February 11, 2024 20:06 Startup failure
Bump org.junit.jupiter:junit-jupiter from 5.10.1 to 5.10.2 License Check and Multi-Platform Test #98: Pull request #37 opened by dependabot bot
February 5, 2024 07:50 5m 3s dependabot/gradle/org.junit.jupiter-junit-jupiter-5.10.2
dependabot/gradle/org.junit.jupiter-junit-jupiter-5.10.2
February 5, 2024 07:50 5m 3s
Update Z3 to 4.12.5 License Check and Multi-Platform Test #97: Commit 288f830 pushed by no-preserve-root
January 30, 2024 16:18 7m 50s main
main
January 30, 2024 16:18 7m 50s
Bump com.diffplug.spotless from 6.24.0 to 6.25.0 License Check and Multi-Platform Test #96: Commit bfe5993 pushed by no-preserve-root
January 30, 2024 16:08 6m 41s main
main
January 30, 2024 16:08 6m 41s
Bump gradle/wrapper-validation-action from 1 to 2 License Check and Multi-Platform Test #95: Commit 0502be0 pushed by no-preserve-root
January 30, 2024 16:06 8m 33s main
main
January 30, 2024 16:06 8m 33s
Test on Temurin 21 License Check and Multi-Platform Test #94: Commit c095de9 pushed by no-preserve-root
January 30, 2024 16:05 8m 14s main
main
January 30, 2024 16:05 8m 14s
Bump com.diffplug.spotless from 6.24.0 to 6.25.0 License Check and Multi-Platform Test #93: Pull request #34 synchronize by dependabot bot
January 30, 2024 16:00 8m 22s dependabot/gradle/com.diffplug.spotless-6.25.0
dependabot/gradle/com.diffplug.spotless-6.25.0
January 30, 2024 16:00 8m 22s
Change workflow to use new setup-gradle action. License Check and Multi-Platform Test #92: Commit 1a929e1 pushed by no-preserve-root
January 30, 2024 15:59 10m 37s main
main
January 30, 2024 15:59 10m 37s
Bump gradle/wrapper-validation-action from 1 to 2 License Check and Multi-Platform Test #91: Pull request #36 opened by dependabot bot
January 30, 2024 07:10 6m 10s dependabot/github_actions/gradle/wrapper-validation-action-2
dependabot/github_actions/gradle/wrapper-validation-action-2
January 30, 2024 07:10 6m 10s
Bump gradle/gradle-build-action from 2 to 3 License Check and Multi-Platform Test #90: Pull request #35 opened by dependabot bot
January 29, 2024 07:36 11m 44s dependabot/github_actions/gradle/gradle-build-action-3
dependabot/github_actions/gradle/gradle-build-action-3
January 29, 2024 07:36 11m 44s
Bump com.diffplug.spotless from 6.24.0 to 6.25.0 License Check and Multi-Platform Test #89: Pull request #34 synchronize by dependabot bot
January 23, 2024 08:43 6m 55s dependabot/gradle/com.diffplug.spotless-6.25.0
dependabot/gradle/com.diffplug.spotless-6.25.0
January 23, 2024 08:43 6m 55s
Bump com.github.ben-manes.versions from 0.50.0 to 0.51.0 License Check and Multi-Platform Test #88: Commit 9c46e5c pushed by no-preserve-root
January 23, 2024 08:42 9m 51s main
main
January 23, 2024 08:42 9m 51s
Bump com.diffplug.spotless from 6.24.0 to 6.25.0 License Check and Multi-Platform Test #87: Pull request #34 opened by dependabot bot
January 23, 2024 07:07 3m 35s dependabot/gradle/com.diffplug.spotless-6.25.0
dependabot/gradle/com.diffplug.spotless-6.25.0
January 23, 2024 07:07 3m 35s
Bump com.github.ben-manes.versions from 0.50.0 to 0.51.0 License Check and Multi-Platform Test #86: Pull request #33 opened by dependabot bot
January 23, 2024 07:07 6m 46s dependabot/gradle/com.github.ben-manes.versions-0.51.0
dependabot/gradle/com.github.ben-manes.versions-0.51.0
January 23, 2024 07:07 6m 46s
update to Z3 4.12.4 License Check and Multi-Platform Test #85: Commit 7a4f09b pushed by no-preserve-root
January 18, 2024 12:46 3m 45s main
main
January 18, 2024 12:46 3m 45s
update to Z3 4.12.3 License Check and Multi-Platform Test #84: Commit 5e07d52 pushed by no-preserve-root
January 18, 2024 12:27 11m 57s main
main
January 18, 2024 12:27 11m 57s
reduce CI to main and PRs against main License Check and Multi-Platform Test #83: Commit f2e2244 pushed by no-preserve-root
January 18, 2024 12:22 8m 4s main
main
January 18, 2024 12:22 8m 4s
Bump org.gradle.toolchains.foojay-resolver-convention License Check and Multi-Platform Test #82: Commit 147a72f pushed by no-preserve-root
January 18, 2024 12:20 6m 10s main
main
January 18, 2024 12:20 6m 10s
Bump org.gradle.toolchains.foojay-resolver-convention License Check and Multi-Platform Test #81: Commit 147a72f pushed by no-preserve-root
January 18, 2024 12:20 6m 34s master
master
January 18, 2024 12:20 6m 34s
Bump org.gradle.toolchains.foojay-resolver-convention from 0.7.0 to 0.8.0 License Check and Multi-Platform Test #80: Pull request #31 synchronize by dependabot bot
January 18, 2024 11:54 6m 39s dependabot/gradle/org.gradle.toolchains.foojay-resolver-convention-0.8.0
dependabot/gradle/org.gradle.toolchains.foojay-resolver-convention-0.8.0
January 18, 2024 11:54 6m 39s