Skip to content

Actions: KeYProject/key

Actions

Dependabot Updates

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Showing all updates from Dependabot. Learn about Dependabot updates.
103 workflow runs
103 workflow runs

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
gradle in /. for ch.qos.logback:logback-core - Update #1455446460 Dependabot Updates #173: by dependabot Bot
34s main
main
34s
gradle in / for com.diffplug.spotless, com.github.therapi:therapi-runtime-javadoc-scribe, com.github.therapi:therapi-runtime-javadoc, org.key-project.proofjava:javaparser-core, org.key-project.proofjava:javaparser-core-serialization, org.key-project.proofjava:javaparser-symbol-solver-core, org.key-project.proofjava:javaparser-symbol-solver-core - Update #1447989668 Dependabot Updates #172: by dependabot Bot
1m 17s main
main
1m 17s
github_actions in /. - Update #1444265332 Dependabot Updates #171: by dependabot Bot
53s main
main
53s
gradle in /. - Update #1444264469 Dependabot Updates #170: by dependabot Bot
1m 15s main
main
1m 15s
gradle in / for ch.qos.logback:logback-classic, org.junit:junit-bom, com.diffplug.spotless, com.vanniktech.maven.publish, org.key-project.proofjava:javaparser-core, org.key-project.proofjava:javaparser-core-serialization, org.key-project.proofjava:javaparser-symbol-solver-core, org.key-project.proofjava:javaparser-core-serialization, org.key-project.proofjava:javaparser-symbol-solver-core, com.gradleup.shadow, gradle-wrapper - Update #1437665146 Dependabot Updates #169: by dependabot Bot
1m 28s main
main
1m 28s
github_actions in /. - Update #1437599032 Dependabot Updates #168: by dependabot Bot
1m 0s main
main
1m 0s
gradle in /. - Update #1437599000 Dependabot Updates #167: by dependabot Bot
1m 28s main
main
1m 28s
gradle in / for org.slf4j:slf4j-api, ch.qos.logback:logback-classic, org.junit:junit-bom, com.fasterxml.jackson.dataformat:jackson-dataformat-yaml, com.fasterxml.jackson.datatype:jackson-datatype-jsr310, com.diffplug.spotless, com.gradleup.shadow, gradle-wrapper - Update #1411910442 Dependabot Updates #166: by dependabot Bot
1m 47s main
main
1m 47s
gradle in / for org.slf4j:slf4j-api, ch.qos.logback:logback-classic, org.junit:junit-bom, com.fasterxml.jackson.dataformat:jackson-dataformat-yaml, com.fasterxml.jackson.datatype:jackson-datatype-jsr310, com.diffplug.spotless, com.gradleup.shadow, gradle-wrapper - Update #1404417299 Dependabot Updates #165: by dependabot Bot
1m 38s main
main
1m 38s
gradle in / for org.slf4j:slf4j-api, ch.qos.logback:logback-classic, org.junit:junit-bom, com.fasterxml.jackson.dataformat:jackson-dataformat-yaml, com.fasterxml.jackson.datatype:jackson-datatype-jsr310, com.diffplug.spotless, com.gradleup.shadow, gradle-wrapper - Update #1400431766 Dependabot Updates #164: by dependabot Bot
1m 40s main
main
1m 40s
gradle in / for org.slf4j:slf4j-api, ch.qos.logback:logback-classic, org.junit:junit-bom, com.fasterxml.jackson.dataformat:jackson-dataformat-yaml, com.fasterxml.jackson.datatype:jackson-datatype-jsr310, com.diffplug.spotless, com.gradleup.shadow, gradle-wrapper - Update #1395211350 Dependabot Updates #163: by dependabot Bot
1m 58s main
main
1m 58s
gradle in / for org.slf4j:slf4j-api, ch.qos.logback:logback-classic, org.junit:junit-bom, com.fasterxml.jackson.dataformat:jackson-dataformat-yaml, com.fasterxml.jackson.datatype:jackson-datatype-jsr310, com.diffplug.spotless, com.gradleup.shadow, gradle-wrapper - Update #1394955037 Dependabot Updates #162: by dependabot Bot
1m 46s main
main
1m 46s
github_actions in /. - Update #1394930605 Dependabot Updates #161: by dependabot Bot
46s main
main
46s
gradle in /. - Update #1394928142 Dependabot Updates #160: by dependabot Bot
1m 55s main
main
1m 55s
gradle in /. for org.codehaus.plexus:plexus-utils - Update #1358330694 Dependabot Updates #159: by dependabot Bot
37s main
main
37s
gradle in /. for net.sourceforge.pmd:pmd-core - Update #1358330690 Dependabot Updates #158: by dependabot Bot
40s main
main
40s
gradle in /. for org.apache.logging.log4j:log4j-core - Update #1358330689 Dependabot Updates #157: by dependabot Bot
49s main
main
49s
gradle in / for io.github.eisop:checker-qual, io.github.eisop:checker-util, io.github.eisop:checker, io.github.eisop:checker-util, io.github.eisop:checker, org.junit:junit-bom, com.fasterxml.jackson.dataformat:jackson-dataformat-yaml, com.fasterxml.jackson.datatype:jackson-datatype-jsr310, org.sonarqube, gradle-wrapper - Update #1345239055 Dependabot Updates #156: by dependabot Bot
1m 21s main
main
1m 21s
github_actions in /. - Update #1344888179 Dependabot Updates #155: by dependabot Bot
1m 5s main
main
1m 5s
gradle in /. - Update #1344887061 Dependabot Updates #154: by dependabot Bot
1m 41s main
main
1m 41s
gradle in /. - Update #1344884927 Dependabot Updates #153: by dependabot Bot
1m 54s main
main
1m 54s
github_actions in /. - Update #1328404458 Dependabot Updates #152: by dependabot Bot
52s main
main
52s
github_actions in / for keyproject/setup-smt - Update #1328398454 Dependabot Updates #151: by dependabot Bot
54s main
main
54s
gradle in / for org.junit:junit-bom, com.fasterxml.jackson.dataformat:jackson-dataformat-yaml, com.fasterxml.jackson.datatype:jackson-datatype-jsr310 - Update #1328396832 Dependabot Updates #150: by dependabot Bot
2m 3s main
main
2m 3s
github_actions in /. - Update #1328392932 Dependabot Updates #149: by dependabot Bot
59s main
main
59s