Skip to content

Actions: tudo-aqua/cvc5-turnkey

Actions

CI/CD

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
57 workflow runs
57 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump org.assertj:assertj-core from 3.27.0 to 3.27.1 CI/CD #57: Pull request #23 opened by dependabot bot
January 2, 2025 09:20 3m 49s dependabot/gradle/org.assertj-assertj-core-3.27.1
dependabot/gradle/org.assertj-assertj-core-3.27.1
January 2, 2025 09:20 3m 49s
Bump net.sourceforge.pmd:pmd from 7.8.0 to 7.9.0 CI/CD #56: Pull request #22 opened by dependabot bot
December 30, 2024 09:33 2m 53s dependabot/gradle/net.sourceforge.pmd-pmd-7.9.0
dependabot/gradle/net.sourceforge.pmd-pmd-7.9.0
December 30, 2024 09:33 2m 53s
Bump org.assertj:assertj-core from 3.26.3 to 3.27.0 (#21) CI/CD #55: Commit cb4bf4b pushed by no-preserve-root
December 20, 2024 15:29 14m 12s main
main
December 20, 2024 15:29 14m 12s
Bump com.github.spotbugs from 6.0.26 to 6.0.27 (#20) CI/CD #54: Commit 86326dc pushed by no-preserve-root
December 20, 2024 15:29 12m 2s main
main
December 20, 2024 15:29 12m 2s
Bump org.junit:junit-bom from 5.11.3 to 5.11.4 (#19) CI/CD #53: Commit 9d106a8 pushed by no-preserve-root
December 20, 2024 15:29 12m 7s main
main
December 20, 2024 15:29 12m 7s
Bump org.assertj:assertj-core from 3.26.3 to 3.27.0 CI/CD #52: Pull request #21 opened by dependabot bot
December 20, 2024 09:40 4m 48s dependabot/gradle/org.assertj-assertj-core-3.27.0
dependabot/gradle/org.assertj-assertj-core-3.27.0
December 20, 2024 09:40 4m 48s
Bump com.github.spotbugs from 6.0.26 to 6.0.27 CI/CD #51: Pull request #20 opened by dependabot bot
December 19, 2024 09:25 4m 48s dependabot/gradle/com.github.spotbugs-6.0.27
dependabot/gradle/com.github.spotbugs-6.0.27
December 19, 2024 09:25 4m 48s
Bump org.junit:junit-bom from 5.11.3 to 5.11.4 CI/CD #50: Pull request #19 opened by dependabot bot
December 17, 2024 09:11 4m 31s dependabot/gradle/org.junit-junit-bom-5.11.4
dependabot/gradle/org.junit-junit-bom-5.11.4
December 17, 2024 09:11 4m 31s
Bump com.gradle.develocity from 3.18.2 to 3.19 (#18) CI/CD #49: Commit 5598a47 pushed by no-preserve-root
December 13, 2024 16:26 8m 16s main
main
December 13, 2024 16:26 8m 16s
Bump com.gradle.develocity from 3.18.2 to 3.19 CI/CD #48: Pull request #18 opened by dependabot bot
December 13, 2024 09:35 6m 53s dependabot/gradle/com.gradle.develocity-3.19
dependabot/gradle/com.gradle.develocity-3.19
December 13, 2024 09:35 6m 53s
Bump Gradle from 8.10.2 to 8.11.1 CI/CD #47: Commit 1569e4c pushed by no-preserve-root
December 3, 2024 10:54 5m 50s main
main
December 3, 2024 10:54 5m 50s
Bump org.gradle.toolchains.foojay-resolver-convention (#16) CI/CD #46: Commit a1443cb pushed by no-preserve-root
December 3, 2024 10:36 5m 59s main
main
December 3, 2024 10:36 5m 59s
fix rule name CI/CD #45: Commit de9e8fe pushed by no-preserve-root
December 3, 2024 10:35 5m 31s main
main
December 3, 2024 10:35 5m 31s
Bump net.sourceforge.pmd:pmd from 7.6.0 to 7.8.0 CI/CD #44: Pull request #17 synchronize by no-preserve-root
December 2, 2024 16:37 9m 33s dependabot/gradle/net.sourceforge.pmd-pmd-7.8.0
dependabot/gradle/net.sourceforge.pmd-pmd-7.8.0
December 2, 2024 16:37 9m 33s
Bump org.gradle.toolchains.foojay-resolver-convention from 0.8.0 to 0.9.0 CI/CD #43: Pull request #16 synchronize by dependabot bot
December 2, 2024 16:37 9m 39s dependabot/gradle/org.gradle.toolchains.foojay-resolver-convention-0.9.0
dependabot/gradle/org.gradle.toolchains.foojay-resolver-convention-0.9.0
December 2, 2024 16:37 9m 39s
Bump com.gradle.develocity from 3.18.1 to 3.18.2 (#15) CI/CD #42: Commit f84401d pushed by no-preserve-root
December 2, 2024 16:36 7m 39s main
main
December 2, 2024 16:36 7m 39s
Bump ru.vyarus:gradle-use-python-plugin from 4.0.0 to 4.1.0 (#14) CI/CD #41: Commit 499f12f pushed by no-preserve-root
December 2, 2024 16:36 9m 40s main
main
December 2, 2024 16:36 9m 40s
Bump com.github.spotbugs from 6.0.25 to 6.0.26 (#13) CI/CD #40: Commit 980514c pushed by no-preserve-root
December 2, 2024 16:35 9m 13s main
main
December 2, 2024 16:35 9m 13s
Bump mikepenz/action-junit-report from 4 to 5 (#12) CI/CD #39: Commit d362326 pushed by no-preserve-root
December 2, 2024 16:35 10m 15s main
main
December 2, 2024 16:35 10m 15s
Bump net.sourceforge.pmd:pmd from 7.6.0 to 7.8.0 CI/CD #38: Pull request #17 opened by dependabot bot
December 2, 2024 10:50 3m 57s dependabot/gradle/net.sourceforge.pmd-pmd-7.8.0
dependabot/gradle/net.sourceforge.pmd-pmd-7.8.0
December 2, 2024 10:50 3m 57s
Bump org.gradle.toolchains.foojay-resolver-convention from 0.8.0 to 0.9.0 CI/CD #37: Pull request #16 opened by dependabot bot
December 2, 2024 10:50 6m 42s dependabot/gradle/org.gradle.toolchains.foojay-resolver-convention-0.9.0
dependabot/gradle/org.gradle.toolchains.foojay-resolver-convention-0.9.0
December 2, 2024 10:50 6m 42s
Bump com.gradle.develocity from 3.18.1 to 3.18.2 CI/CD #36: Pull request #15 opened by dependabot bot
November 14, 2024 09:31 6m 41s dependabot/gradle/com.gradle.develocity-3.18.2
dependabot/gradle/com.gradle.develocity-3.18.2
November 14, 2024 09:31 6m 41s
Bump ru.vyarus:gradle-use-python-plugin from 4.0.0 to 4.1.0 CI/CD #35: Pull request #14 opened by dependabot bot
November 11, 2024 09:56 6m 57s dependabot/gradle/ru.vyarus-gradle-use-python-plugin-4.1.0
dependabot/gradle/ru.vyarus-gradle-use-python-plugin-4.1.0
November 11, 2024 09:56 6m 57s
Bump com.github.spotbugs from 6.0.25 to 6.0.26 CI/CD #34: Pull request #13 opened by dependabot bot
November 4, 2024 09:57 7m 3s dependabot/gradle/com.github.spotbugs-6.0.26
dependabot/gradle/com.github.spotbugs-6.0.26
November 4, 2024 09:57 7m 3s
Bump mikepenz/action-junit-report from 4 to 5 CI/CD #33: Pull request #12 opened by dependabot bot
November 4, 2024 09:37 6m 57s dependabot/github_actions/mikepenz/action-junit-report-5
dependabot/github_actions/mikepenz/action-junit-report-5
November 4, 2024 09:37 6m 57s