Skip to content

Actions: KeYProject/key

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
1,620 workflow runs
1,620 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

repairing heatmap updates for inner nodes CodeQL #2601: Pull request #3506 opened by mattulbrich
August 22, 2024 19:54 7m 0s fix3378
fix3378
August 22, 2024 19:54 7m 0s
Fix for #3501: Decrease log level of duplicate sort warnings (#3505) CodeQL #2600: Commit 8077951 pushed by github-merge-queue bot
August 22, 2024 13:51 7m 35s main
main
August 22, 2024 13:51 7m 35s
Revert "Fix CurrentGoalView highlights not being removed" (#3391) CodeQL #2599: Commit e325ebe pushed by github-merge-queue bot
August 22, 2024 13:14 7m 15s main
main
August 22, 2024 13:14 7m 15s
CodeQL CodeQL #2598: Merge group checks requested
August 22, 2024 12:43 7m 9s
August 22, 2024 12:43 7m 9s
CodeQL CodeQL #2597: Merge group checks requested
August 22, 2024 12:06 7m 32s
August 22, 2024 12:06 7m 32s
Fix for #3501: Decrease log level of duplicate sort warnings CodeQL #2596: Pull request #3505 synchronize by WolframPfeifer
August 22, 2024 11:36 6m 53s pfeifer/duplicateSortLogLevel
pfeifer/duplicateSortLogLevel
August 22, 2024 11:36 6m 53s
Fix for the LoopInvariantConfigurationDialog (#3377) CodeQL #2595: Commit 4a38fe0 pushed by github-merge-queue bot
August 20, 2024 17:33 7m 36s main
main
August 20, 2024 17:33 7m 36s
CodeQL CodeQL #2594: Merge group checks requested
August 20, 2024 16:26 7m 14s
August 20, 2024 16:26 7m 14s
Fix for the LoopInvariantConfigurationDialog CodeQL #2593: Pull request #3377 synchronize by WolframPfeifer
August 20, 2024 15:19 7m 27s fixLoopInvCompletionByDialog
fixLoopInvCompletionByDialog
August 20, 2024 15:19 7m 27s
Fix for #3501: Decrease log level of duplicate sort warnings CodeQL #2592: Pull request #3505 synchronize by WolframPfeifer
August 20, 2024 13:31 7m 3s pfeifer/duplicateSortLogLevel
pfeifer/duplicateSortLogLevel
August 20, 2024 13:31 7m 3s
HacKeYthon: Improved Taclet Options (#3433) CodeQL #2591: Commit 56ab917 pushed by github-merge-queue bot
August 20, 2024 12:11 7m 37s main
main
August 20, 2024 12:11 7m 37s
CodeQL CodeQL #2590: Merge group checks requested
August 20, 2024 11:03 7m 19s
August 20, 2024 11:03 7m 19s
HacKeYthon: Improved Taclet Options CodeQL #2589: Pull request #3433 synchronize by Drodt
August 20, 2024 09:56 7m 17s tobias-rnh:hackeython/improved-taclet-options
tobias-rnh:hackeython/improved-taclet-options
August 20, 2024 09:56 7m 17s
HacKeYthon: Improved Taclet Options CodeQL #2588: Pull request #3433 synchronize by tobias-rnh
August 18, 2024 12:30 7m 20s tobias-rnh:hackeython/improved-taclet-options
tobias-rnh:hackeython/improved-taclet-options
August 18, 2024 12:30 7m 20s
HacKeYthon: Improved Taclet Options CodeQL #2587: Pull request #3433 synchronize by tobias-rnh
August 16, 2024 23:41 7m 15s tobias-rnh:hackeython/improved-taclet-options
tobias-rnh:hackeython/improved-taclet-options
August 16, 2024 23:41 7m 15s
HacKeYthon: Improved Taclet Options CodeQL #2586: Pull request #3433 synchronize by tobias-rnh
August 16, 2024 14:42 7m 17s tobias-rnh:hackeython/improved-taclet-options
tobias-rnh:hackeython/improved-taclet-options
August 16, 2024 14:42 7m 17s
CodeQL CodeQL #2585: Scheduled
August 15, 2024 21:26 7m 26s main
main
August 15, 2024 21:26 7m 26s
HacKeYthon: Improved Taclet Options CodeQL #2584: Pull request #3433 synchronize by tobias-rnh
August 13, 2024 17:34 7m 52s tobias-rnh:hackeython/improved-taclet-options
tobias-rnh:hackeython/improved-taclet-options
August 13, 2024 17:34 7m 52s
Fix for the LoopInvariantConfigurationDialog CodeQL #2583: Pull request #3377 synchronize by unp1
August 13, 2024 11:50 7m 1s fixLoopInvCompletionByDialog
fixLoopInvCompletionByDialog
August 13, 2024 11:50 7m 1s
Fix for #3501: Decrease log level of duplicate sort warnings CodeQL #2582: Pull request #3505 synchronize by WolframPfeifer
August 13, 2024 11:48 7m 1s pfeifer/duplicateSortLogLevel
pfeifer/duplicateSortLogLevel
August 13, 2024 11:48 7m 1s
Remove Ctrl+C handling, see #3456 (#3499) CodeQL #2581: Commit f670445 pushed by github-merge-queue bot
August 13, 2024 11:15 7m 34s main
main
August 13, 2024 11:15 7m 34s
Fix for #3501: Decrease log level of duplicate sort warnings CodeQL #2580: Pull request #3505 opened by WolframPfeifer
August 13, 2024 10:29 7m 1s pfeifer/duplicateSortLogLevel
pfeifer/duplicateSortLogLevel
August 13, 2024 10:29 7m 1s
Fix for the LoopInvariantConfigurationDialog CodeQL #2579: Pull request #3377 synchronize by unp1
August 13, 2024 10:13 7m 13s fixLoopInvCompletionByDialog
fixLoopInvCompletionByDialog
August 13, 2024 10:13 7m 13s
Fix for the LoopInvariantConfigurationDialog CodeQL #2578: Pull request #3377 synchronize by unp1
August 13, 2024 10:11 7m 24s fixLoopInvCompletionByDialog
fixLoopInvCompletionByDialog
August 13, 2024 10:11 7m 24s
CodeQL CodeQL #2577: Merge group checks requested
August 13, 2024 10:08 6m 48s
August 13, 2024 10:08 6m 48s