Skip to content

Actions: wadoon/key-tools

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow run results
24 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #9 from wadoon/dependabot/gradle/org.jetbrains.dok… Java CI #54: Commit a11fc53 pushed by wadoon
September 12, 2023 14:00 1m 20s main
main
September 12, 2023 14:00 1m 20s
Merge pull request #10 from wadoon/dependabot/gradle/org.openjfx.java… Java CI #53: Commit 1539b39 pushed by wadoon
September 12, 2023 14:00 1m 21s main
main
September 12, 2023 14:00 1m 21s
Merge pull request #12 from wadoon/dependabot/gradle/org.antlr-antlr4… Java CI #52: Commit 0d528aa pushed by wadoon
September 12, 2023 14:00 1m 22s main
main
September 12, 2023 14:00 1m 22s
Merge pull request #13 from wadoon/dependabot/gradle/com.github.ben-m… Java CI #51: Commit 045d7f1 pushed by wadoon
September 12, 2023 14:00 1m 27s main
main
September 12, 2023 14:00 1m 27s
Bump com.github.ben-manes.versions from 0.47.0 to 0.48.0 Java CI #50: Commit 0cb21b2 pushed by dependabot bot
September 11, 2023 10:35 1m 19s dependabot/gradle/com.github.ben-manes.versions-0.48.0
dependabot/gradle/com.github.ben-manes.versions-0.48.0
September 11, 2023 10:35 1m 19s
Bump org.antlr:antlr4 from 4.13.0 to 4.13.1 Java CI #49: Commit 489a970 pushed by dependabot bot
September 11, 2023 10:35 1m 19s dependabot/gradle/org.antlr-antlr4-4.13.1
dependabot/gradle/org.antlr-antlr4-4.13.1
September 11, 2023 10:35 1m 19s
Bump org.antlr:antlr4-runtime from 4.13.0 to 4.13.1 Java CI #48: Commit bfc0e6f pushed by dependabot bot
September 11, 2023 10:35 1m 21s dependabot/gradle/org.antlr-antlr4-runtime-4.13.1
dependabot/gradle/org.antlr-antlr4-runtime-4.13.1
September 11, 2023 10:35 1m 21s
Bump org.openjfx.javafxplugin from 0.0.14 to 0.1.0 Java CI #47: Commit edb628a pushed by dependabot bot
September 11, 2023 10:35 1m 20s dependabot/gradle/org.openjfx.javafxplugin-0.1.0
dependabot/gradle/org.openjfx.javafxplugin-0.1.0
September 11, 2023 10:35 1m 20s
Bump org.jetbrains.dokka from 1.8.20 to 1.9.0 Java CI #46: Commit 70fa8e1 pushed by dependabot bot
September 11, 2023 10:35 1m 44s dependabot/gradle/org.jetbrains.dokka-1.9.0
dependabot/gradle/org.jetbrains.dokka-1.9.0
September 11, 2023 10:35 1m 44s
Merge pull request #5 from wadoon/dependabot/gradle/org.sonarqube-4.3… Java CI #45: Commit 1914394 pushed by wadoon
September 5, 2023 15:29 1m 53s main
main
September 5, 2023 15:29 1m 53s
Bump org.sonarqube from 4.3.0.3225 to 4.3.1.3277 Java CI #44: Commit 2ebf4aa pushed by dependabot bot
September 5, 2023 14:48 22s dependabot/gradle/org.sonarqube-4.3.1.3277
dependabot/gradle/org.sonarqube-4.3.1.3277
September 5, 2023 14:48 22s
Merge pull request #7 from wadoon/dependabot/gradle/org.slf4j-slf4j-a… Java CI #43: Commit e8ac84f pushed by wadoon
September 5, 2023 14:48 1m 32s main
main
September 5, 2023 14:48 1m 32s
Merge pull request #4 from wadoon/dependabot/gradle/org.slf4j-slf4j-s… Java CI #42: Commit a4d5fa1 pushed by wadoon
September 5, 2023 14:48 1m 39s main
main
September 5, 2023 14:48 1m 39s
Merge pull request #6 from wadoon/dependabot/gradle/io.ktor-ktor-serv… Java CI #41: Commit 6b697df pushed by wadoon
September 5, 2023 14:48 1m 43s main
main
September 5, 2023 14:48 1m 43s
Merge pull request #8 from wadoon/dependabot/gradle/com.diffplug.spot… Java CI #40: Commit 0b7af8b pushed by wadoon
September 5, 2023 14:48 1m 22s main
main
September 5, 2023 14:48 1m 22s
Bump com.diffplug.spotless from 6.20.0 to 6.21.0 Java CI #39: Commit dd64934 pushed by dependabot bot
September 4, 2023 10:21 1m 17s dependabot/gradle/com.diffplug.spotless-6.21.0
dependabot/gradle/com.diffplug.spotless-6.21.0
September 4, 2023 10:21 1m 17s
Bump org.slf4j:slf4j-api from 2.0.7 to 2.0.9 Java CI #38: Commit 07d2cee pushed by dependabot bot
September 4, 2023 10:21 1m 17s dependabot/gradle/org.slf4j-slf4j-api-2.0.9
dependabot/gradle/org.slf4j-slf4j-api-2.0.9
September 4, 2023 10:21 1m 17s
Bump io.ktor:ktor-server-netty from 2.3.3 to 2.3.4 Java CI #37: Commit b0eb0a1 pushed by dependabot bot
September 4, 2023 10:21 1m 19s dependabot/gradle/io.ktor-ktor-server-netty-2.3.4
dependabot/gradle/io.ktor-ktor-server-netty-2.3.4
September 4, 2023 10:21 1m 19s
Bump org.sonarqube from 4.3.0.3225 to 4.3.1.3277 Java CI #36: Commit d5d6676 pushed by dependabot bot
September 4, 2023 10:21 1m 31s dependabot/gradle/org.sonarqube-4.3.1.3277
dependabot/gradle/org.sonarqube-4.3.1.3277
September 4, 2023 10:21 1m 31s
Bump org.slf4j:slf4j-simple from 2.0.7 to 2.0.9 Java CI #35: Commit 781d195 pushed by dependabot bot
September 4, 2023 10:21 1m 31s dependabot/gradle/org.slf4j-slf4j-simple-2.0.9
dependabot/gradle/org.slf4j-slf4j-simple-2.0.9
September 4, 2023 10:21 1m 31s
Merge pull request #3 from wadoon/dependabot/gradle/org.jetbrains.kot… Java CI #34: Commit bff7528 pushed by wadoon
August 28, 2023 10:43 1m 40s main
main
August 28, 2023 10:43 1m 40s
Bump org.jetbrains.kotlin.jvm from 1.9.0 to 1.9.10 Java CI #33: Commit 25652d7 pushed by dependabot bot
August 28, 2023 10:41 1m 22s dependabot/gradle/org.jetbrains.kotlin.jvm-1.9.10
dependabot/gradle/org.jetbrains.kotlin.jvm-1.9.10
August 28, 2023 10:41 1m 22s
add dependabot.yml Java CI #32: Commit e8bdcec pushed by wadoon
August 18, 2023 19:33 1m 40s main
main
August 18, 2023 19:33 1m 40s
update to new KeY-2.12.0 release Java CI #31: Commit 2d7d19c pushed by wadoon
August 18, 2023 18:50 1m 50s main
main
August 18, 2023 18:50 1m 50s