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

CodeQuality CodeQuality #2614: Merge group checks requested
August 20, 2024 16:26 8m 44s
August 20, 2024 16:26 8m 44s
Fix for the LoopInvariantConfigurationDialog CodeQuality #2613: Pull request #3377 synchronize by WolframPfeifer
August 20, 2024 15:19 1m 49s fixLoopInvCompletionByDialog
fixLoopInvCompletionByDialog
August 20, 2024 15:19 1m 49s
Fix for #3501: Decrease log level of duplicate sort warnings CodeQuality #2612: Pull request #3505 synchronize by WolframPfeifer
August 20, 2024 13:31 1m 45s pfeifer/duplicateSortLogLevel
pfeifer/duplicateSortLogLevel
August 20, 2024 13:31 1m 45s
HacKeYthon: Improved Taclet Options (#3433) CodeQuality #2611: Commit 56ab917 pushed by github-merge-queue bot
August 20, 2024 12:11 7m 35s main
main
August 20, 2024 12:11 7m 35s
CodeQuality CodeQuality #2610: Merge group checks requested
August 20, 2024 11:03 8m 30s
August 20, 2024 11:03 8m 30s
HacKeYthon: Improved Taclet Options CodeQuality #2609: Pull request #3433 synchronize by Drodt
August 20, 2024 09:56 1m 39s tobias-rnh:hackeython/improved-taclet-options
tobias-rnh:hackeython/improved-taclet-options
August 20, 2024 09:56 1m 39s
HacKeYthon: Improved Taclet Options CodeQuality #2608: Pull request #3433 synchronize by tobias-rnh
August 18, 2024 12:30 1m 37s tobias-rnh:hackeython/improved-taclet-options
tobias-rnh:hackeython/improved-taclet-options
August 18, 2024 12:30 1m 37s
HacKeYthon: Improved Taclet Options CodeQuality #2607: Pull request #3433 synchronize by tobias-rnh
August 16, 2024 23:41 1m 31s tobias-rnh:hackeython/improved-taclet-options
tobias-rnh:hackeython/improved-taclet-options
August 16, 2024 23:41 1m 31s
HacKeYthon: Improved Taclet Options CodeQuality #2606: Pull request #3433 synchronize by tobias-rnh
August 16, 2024 14:42 1m 33s tobias-rnh:hackeython/improved-taclet-options
tobias-rnh:hackeython/improved-taclet-options
August 16, 2024 14:42 1m 33s
HacKeYthon: Improved Taclet Options CodeQuality #2605: Pull request #3433 synchronize by tobias-rnh
August 13, 2024 17:34 2m 9s tobias-rnh:hackeython/improved-taclet-options
tobias-rnh:hackeython/improved-taclet-options
August 13, 2024 17:34 2m 9s
Fix for the LoopInvariantConfigurationDialog CodeQuality #2604: Pull request #3377 synchronize by unp1
August 13, 2024 11:50 1m 50s fixLoopInvCompletionByDialog
fixLoopInvCompletionByDialog
August 13, 2024 11:50 1m 50s
Fix for #3501: Decrease log level of duplicate sort warnings CodeQuality #2603: Pull request #3505 synchronize by WolframPfeifer
August 13, 2024 11:48 1m 45s pfeifer/duplicateSortLogLevel
pfeifer/duplicateSortLogLevel
August 13, 2024 11:48 1m 45s
Remove Ctrl+C handling, see #3456 (#3499) CodeQuality #2602: Commit f670445 pushed by github-merge-queue bot
August 13, 2024 11:15 9m 8s main
main
August 13, 2024 11:15 9m 8s
Fix for #3501: Decrease log level of duplicate sort warnings CodeQuality #2601: Pull request #3505 opened by WolframPfeifer
August 13, 2024 10:29 1m 44s pfeifer/duplicateSortLogLevel
pfeifer/duplicateSortLogLevel
August 13, 2024 10:29 1m 44s
Fix for the LoopInvariantConfigurationDialog CodeQuality #2600: Pull request #3377 synchronize by unp1
August 13, 2024 10:13 1m 41s fixLoopInvCompletionByDialog
fixLoopInvCompletionByDialog
August 13, 2024 10:13 1m 41s
Fix for the LoopInvariantConfigurationDialog CodeQuality #2599: Pull request #3377 synchronize by unp1
August 13, 2024 10:11 1m 46s fixLoopInvCompletionByDialog
fixLoopInvCompletionByDialog
August 13, 2024 10:11 1m 46s
CodeQuality CodeQuality #2598: Merge group checks requested
August 13, 2024 10:08 8m 34s
August 13, 2024 10:08 8m 34s
HacKeYthon: Improved Taclet Options CodeQuality #2597: Pull request #3433 synchronize by tobias-rnh
August 13, 2024 08:35 1m 43s tobias-rnh:hackeython/improved-taclet-options
tobias-rnh:hackeython/improved-taclet-options
August 13, 2024 08:35 1m 43s
Revert "Fix CurrentGoalView highlights not being removed" CodeQuality #2596: Pull request #3391 synchronize by mattulbrich
August 7, 2024 15:25 1m 58s mattulbrich:fix3378
mattulbrich:fix3378
August 7, 2024 15:25 1m 58s
Tracing2 CodeQuality #2595: Pull request #3504 synchronize by lks9
August 6, 2024 16:54 2m 11s LukasTracing2
LukasTracing2
August 6, 2024 16:54 2m 11s
Tracing2 CodeQuality #2594: Pull request #3504 synchronize by lks9
August 6, 2024 14:31 2m 6s LukasTracing2
LukasTracing2
August 6, 2024 14:31 2m 6s
HacKeYthon: Improved Taclet Options CodeQuality #2593: Pull request #3433 synchronize by mattulbrich
August 6, 2024 12:20 1m 41s tobias-rnh:hackeython/improved-taclet-options
tobias-rnh:hackeython/improved-taclet-options
August 6, 2024 12:20 1m 41s
HacKeYthon: Improved Taclet Options CodeQuality #2592: Pull request #3433 synchronize by mattulbrich
August 6, 2024 12:09 2m 7s tobias-rnh:hackeython/improved-taclet-options
tobias-rnh:hackeython/improved-taclet-options
August 6, 2024 12:09 2m 7s
Tracing2 CodeQuality #2591: Pull request #3504 opened by lks9
August 5, 2024 12:03 2m 6s LukasTracing2
LukasTracing2
August 5, 2024 12:03 2m 6s
Create a JSON-RPC for KeY CodeQuality #2590: Pull request #3303 synchronize by wadoon
August 4, 2024 18:44 1m 37s weigl/jsonrpc
weigl/jsonrpc
August 4, 2024 18:44 1m 37s