Skip to content

Actions: KeYProject/key

Actions

SonarCloud

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
sonarqube.yml
This workflow was disabled manually.
80 workflow runs
80 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump the github-actions-deps group with 5 updates SonarCloud #55: Pull request #3531 opened by dependabot bot
December 1, 2024 20:48 1m 8s dependabot/github_actions/github-actions-deps-7db21b2409
dependabot/github_actions/github-actions-deps-7db21b2409
December 1, 2024 20:48 1m 8s
Bump the gradle-deps group with 2 updates SonarCloud #54: Pull request #3530 opened by dependabot bot
December 1, 2024 20:11 1m 7s dependabot/gradle/gradle-deps-197b749bfa
dependabot/gradle/gradle-deps-197b749bfa
December 1, 2024 20:11 1m 7s
Removal of Triple, and Quadruple SonarCloud #53: Pull request #3529 synchronize by wadoon
November 28, 2024 14:47 2m 43s weigl/recordsftw
weigl/recordsftw
November 28, 2024 14:47 2m 43s
Remove version lock for JDT in spotless SonarCloud #52: Pull request #3498 synchronize by wadoon
November 27, 2024 17:21 4m 48s weigl/spotlessjdtversion
weigl/spotlessjdtversion
November 27, 2024 17:21 4m 48s
Fix #3524 (#3525) SonarCloud #51: Commit 9ef68b3 pushed by github-merge-queue bot
November 25, 2024 11:02 3m 34s main
main
November 25, 2024 11:02 3m 34s
Create a JSON-RPC for KeY SonarCloud #50: Pull request #3303 synchronize by wadoon
November 24, 2024 19:45 4m 49s weigl/jsonrpc
weigl/jsonrpc
November 24, 2024 19:45 4m 49s
Removal of Triple, and Quadruple SonarCloud #49: Pull request #3529 synchronize by wadoon
November 23, 2024 17:25 2m 59s weigl/recordsftw
weigl/recordsftw
November 23, 2024 17:25 2m 59s
Removal of Triple, and Quadruple SonarCloud #48: Pull request #3529 synchronize by wadoon
November 23, 2024 16:18 2m 51s weigl/recordsftw
weigl/recordsftw
November 23, 2024 16:18 2m 51s
Removal of Triple, and Quadruple SonarCloud #47: Pull request #3529 opened by wadoon
November 23, 2024 16:16 2m 45s weigl/recordsftw
weigl/recordsftw
November 23, 2024 16:16 2m 45s
Removal of Triple, and Quadruple SonarCloud #46: Pull request #3399 synchronize by wadoon
November 23, 2024 16:06 1m 53s wadoon:weigl/recordsftw
wadoon:weigl/recordsftw
November 23, 2024 16:06 1m 53s
Create a JSON-RPC for KeY SonarCloud #45: Pull request #3303 synchronize by wadoon
November 22, 2024 21:38 5m 7s weigl/jsonrpc
weigl/jsonrpc
November 22, 2024 21:38 5m 7s
Create a JSON-RPC for KeY SonarCloud #44: Pull request #3303 synchronize by wadoon
November 22, 2024 19:50 2m 54s weigl/jsonrpc
weigl/jsonrpc
November 22, 2024 19:50 2m 54s
Re-enable sonarqube for quality assessment (#3488) SonarCloud #43: Commit 9b32d97 pushed by github-merge-queue bot
November 22, 2024 18:55 9m 2s main
main
November 22, 2024 18:55 9m 2s
Package structured reworked for sealed packages SonarCloud #42: Pull request #3473 synchronize by wadoon
November 22, 2024 17:48 8m 50s weigl/pckgreworked
weigl/pckgreworked
November 22, 2024 17:48 8m 50s
Package structured reworked for sealed packages SonarCloud #41: Pull request #3473 synchronize by wadoon
November 22, 2024 17:43 6m 51s weigl/pckgreworked
weigl/pckgreworked
November 22, 2024 17:43 6m 51s
Re-enable sonarqube for quality assessment SonarCloud #40: Pull request #3488 synchronize by wadoon
November 22, 2024 14:09 5m 24s weigl/codequality
weigl/codequality
November 22, 2024 14:09 5m 24s
Renovation of the TestCase generation SonarCloud #39: Pull request #3388 synchronize by wadoon
November 17, 2024 22:19 24m 7s weigl/testgen
weigl/testgen
November 17, 2024 22:19 24m 7s
Re-enable sonarqube for quality assessment SonarCloud #38: Pull request #3488 synchronize by wadoon
November 17, 2024 22:12 7m 40s weigl/codequality
weigl/codequality
November 17, 2024 22:12 7m 40s
Package structured reworked for sealed packages SonarCloud #37: Pull request #3473 synchronize by wadoon
November 17, 2024 22:10 7m 43s weigl/pckgreworked
weigl/pckgreworked
November 17, 2024 22:10 7m 43s
Package structured reworked for sealed packages SonarCloud #36: Pull request #3473 synchronize by wadoon
November 17, 2024 22:07 1m 53s weigl/pckgreworked
weigl/pckgreworked
November 17, 2024 22:07 1m 53s
Create a JSON-RPC for KeY SonarCloud #35: Pull request #3303 synchronize by wadoon
October 20, 2024 14:13 1m 35s weigl/jsonrpc
weigl/jsonrpc
October 20, 2024 14:13 1m 35s
Restoration of the formatter for KEY files SonarCloud #34: Pull request #3494 synchronize by wadoon
October 18, 2024 14:19 1m 1s weigl/keyformat
weigl/keyformat
October 18, 2024 14:19 1m 1s
Create a JSON-RPC for KeY SonarCloud #33: Pull request #3303 synchronize by wadoon
August 4, 2024 18:44 3m 15s weigl/jsonrpc
weigl/jsonrpc
August 4, 2024 18:44 3m 15s
Nullness Type System for key.core SonarCloud #32: Pull request #3470 synchronize by wadoon
August 4, 2024 13:05 7m 39s eisop/keycore2
eisop/keycore2
August 4, 2024 13:05 7m 39s
Restoration of the formatter for KEY files SonarCloud #31: Pull request #3494 synchronize by wadoon
August 4, 2024 12:51 7m 38s weigl/keyformat
weigl/keyformat
August 4, 2024 12:51 7m 38s