Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
1,651 workflow runs
1,651 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove version lock for JDT in spotless CodeQuality #2564: Pull request #3498 synchronize by wadoon
July 7, 2024 13:33 3m 31s weigl/spotlessjdtversion
weigl/spotlessjdtversion
July 7, 2024 13:33 3m 31s
Remove version lock for JDT in spotless CodeQuality #2563: Pull request #3498 opened by wadoon
July 7, 2024 13:30 2m 1s weigl/spotlessjdtversion
weigl/spotlessjdtversion
July 7, 2024 13:30 2m 1s
Save sequents + Sonar Qube only for analysis reason CodeQuality #2562: Pull request #3497 opened by wadoon
July 7, 2024 13:26 2m 3s saveSequents
saveSequents
July 7, 2024 13:26 2m 3s
saving proofs for sequent problems CodeQuality #2561: Pull request #3496 opened by mattulbrich
July 7, 2024 12:41 2m 11s mattulbrich:saveSequents
mattulbrich:saveSequents
July 7, 2024 12:41 2m 11s
Improved treatment of final fields CodeQuality #2560: Pull request #3495 synchronize by mattulbrich
July 6, 2024 21:33 2m 3s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
July 6, 2024 21:33 2m 3s
Improved treatment of final fields CodeQuality #2559: Pull request #3495 opened by mattulbrich
July 6, 2024 14:57 2m 4s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
July 6, 2024 14:57 2m 4s
Restoration of the formatter for KEY files CodeQuality #2558: Pull request #3494 synchronize by wadoon
July 6, 2024 12:31 2m 6s weigl/keyformat
weigl/keyformat
July 6, 2024 12:31 2m 6s
Restoration of the formatter for KEY files CodeQuality #2557: Pull request #3494 opened by wadoon
July 6, 2024 12:28 1m 56s weigl/keyformat
weigl/keyformat
July 6, 2024 12:28 1m 56s
Bump gradle/actions from 3.3.2 to 3.4.2 in the github-actions-deps gr… CodeQuality #2556: Commit c9ed593 pushed by github-merge-queue bot
July 5, 2024 15:12 7m 34s main
main
July 5, 2024 15:12 7m 34s
Revive work on Polymorphic Sorts CodeQuality #2555: Pull request #3384 synchronize by wadoon
July 5, 2024 14:07 2m 25s mulbrichPolymorphic
mulbrichPolymorphic
July 5, 2024 14:07 2m 25s
CodeQuality CodeQuality #2554: Merge group checks requested
July 5, 2024 14:05 8m 35s
July 5, 2024 14:05 8m 35s
Package structured reworked for sealed packages CodeQuality #2553: Pull request #3473 synchronize by wadoon
July 5, 2024 13:44 2m 4s weigl/pckgreworked
weigl/pckgreworked
July 5, 2024 13:44 2m 4s
Bump the gradle-deps group with 4 updates (#3492) CodeQuality #2552: Commit 27f5bed pushed by github-merge-queue bot
July 4, 2024 14:38 7m 39s main
main
July 4, 2024 14:38 7m 39s
CodeQuality CodeQuality #2551: Merge group checks requested
July 4, 2024 13:30 8m 47s
July 4, 2024 13:30 8m 47s
Bump gradle/actions from 3.3.2 to 3.4.2 in the github-actions-deps group CodeQuality #2550: Pull request #3493 opened by dependabot bot
July 1, 2024 20:25 2m 13s dependabot/github_actions/github-actions-deps-0fe23c4a36
dependabot/github_actions/github-actions-deps-0fe23c4a36
July 1, 2024 20:25 2m 13s
Bump the gradle-deps group with 4 updates CodeQuality #2549: Pull request #3492 opened by dependabot bot
July 1, 2024 20:05 2m 12s dependabot/gradle/gradle-deps-4fab438f80
dependabot/gradle/gradle-deps-4fab438f80
July 1, 2024 20:05 2m 12s
Lukas tracing CodeQuality #2548: Pull request #3491 synchronize by lks9
June 30, 2024 16:24 2m 5s LukasTracing
LukasTracing
June 30, 2024 16:24 2m 5s
Map with new equalities CodeQuality #2547: Pull request #3486 synchronize by tobias-rnh
June 27, 2024 14:05 2m 13s tobias-rnh:map-with-new-equalities
tobias-rnh:map-with-new-equalities
June 27, 2024 14:05 2m 13s
Map with new equalities CodeQuality #2546: Pull request #3486 synchronize by Drodt
June 27, 2024 11:50 1m 37s tobias-rnh:map-with-new-equalities
tobias-rnh:map-with-new-equalities
June 27, 2024 11:50 1m 37s
More general equalsModProperty (#3459) CodeQuality #2545: Commit a3fbc37 pushed by github-merge-queue bot
June 27, 2024 11:27 7m 32s main
main
June 27, 2024 11:27 7m 32s
CodeQuality CodeQuality #2544: Merge group checks requested
June 27, 2024 10:19 7m 32s
June 27, 2024 10:19 7m 32s
CodeQuality CodeQuality #2543: Merge group checks requested
June 27, 2024 09:00 16m 37s
June 27, 2024 09:00 16m 37s
Nullness Type System for key.core CodeQuality #2542: Pull request #3470 synchronize by wadoon
June 26, 2024 18:35 1m 49s eisop/keycore2
eisop/keycore2
June 26, 2024 18:35 1m 49s
Nullness Type System for key.core CodeQuality #2541: Pull request #3470 synchronize by wadoon
June 26, 2024 18:34 1m 45s eisop/keycore2
eisop/keycore2
June 26, 2024 18:34 1m 45s
More general equalsModProperty CodeQuality #2540: Pull request #3459 synchronize by tobias-rnh
June 26, 2024 17:50 2m 4s tobias-rnh:more-general-equalsModProperty
tobias-rnh:more-general-equalsModProperty
June 26, 2024 17:50 2m 4s