Skip to content

Actions: KeYProject/key

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Using semantic version (SemVer) scheme for KeY (#3523) CodeQL #2675: Commit a59c293 pushed by github-merge-queue bot
October 28, 2024 16:22 7m 56s main
main
October 28, 2024 16:22 7m 56s
CodeQL CodeQL #2674: Merge group checks requested
October 28, 2024 15:14 7m 24s
October 28, 2024 15:14 7m 24s
Removal of Triple, and Quadruple CodeQL #2673: Pull request #3399 synchronize by wadoon
October 25, 2024 21:51 7m 4s wadoon:weigl/recordsftw
wadoon:weigl/recordsftw
October 25, 2024 21:51 7m 4s
Using semantic version (SemVer) scheme for KeY CodeQL #2672: Pull request #3523 synchronize by wadoon
October 25, 2024 13:26 14m 19s weigl/versionscheme
weigl/versionscheme
October 25, 2024 13:26 14m 19s
Using semantic version (SemVer) scheme for KeY CodeQL #2671: Pull request #3523 opened by wadoon
October 25, 2024 13:26 6m 58s weigl/versionscheme
weigl/versionscheme
October 25, 2024 13:26 6m 58s
Set the Java Release Version to 21 (#3522) CodeQL #2670: Commit 2a811b6 pushed by github-merge-queue bot
October 25, 2024 13:26 7m 33s main
main
October 25, 2024 13:26 7m 33s
CodeQL CodeQL #2669: Merge group checks requested
October 25, 2024 12:18 7m 4s
October 25, 2024 12:18 7m 4s
Remove version lock for JDT in spotless CodeQL #2668: Pull request #3498 synchronize by wadoon
October 25, 2024 12:18 7m 7s weigl/spotlessjdtversion
weigl/spotlessjdtversion
October 25, 2024 12:18 7m 7s
CodeQL CodeQL #2667: Scheduled
October 24, 2024 21:28 7m 45s main
main
October 24, 2024 21:28 7m 45s
Set the Java Release Version to 21 CodeQL #2666: Pull request #3522 opened by wadoon
October 24, 2024 01:23 7m 6s weigl/set-java21
weigl/set-java21
October 24, 2024 01:23 7m 6s
Isabelle Translation CodeQL #2665: Pull request #3514 synchronize by BookWood7th
October 23, 2024 13:02 8m 54s BookWood7th:main
BookWood7th:main
October 23, 2024 13:02 8m 54s
Isabelle Translation CodeQL #2664: Pull request #3514 synchronize by BookWood7th
October 23, 2024 12:56 9m 1s BookWood7th:main
BookWood7th:main
October 23, 2024 12:56 9m 1s
Isabelle Translation CodeQL #2663: Pull request #3514 synchronize by BookWood7th
October 23, 2024 11:40 9m 3s BookWood7th:main
BookWood7th:main
October 23, 2024 11:40 9m 3s
Isabelle Translation CodeQL #2662: Pull request #3514 synchronize by BookWood7th
October 23, 2024 11:35 9m 2s BookWood7th:main
BookWood7th:main
October 23, 2024 11:35 9m 2s
RuleApp interface for all external solvers (prep for #3514) CodeQL #2661: Pull request #3521 opened by BookWood7th
October 23, 2024 11:31 7m 8s BookWood7th:ExternalSolverRuleApp
BookWood7th:ExternalSolverRuleApp
October 23, 2024 11:31 7m 8s
Add conversion rules for Float/Double negation CodeQL #2660: Pull request #3520 opened by WolframPfeifer
October 23, 2024 09:59 7m 5s pfeifer/negFloat
pfeifer/negFloat
October 23, 2024 09:59 7m 5s
fixes Location#compareTo(Location) CodeQL #2659: Pull request #3519 opened by BookWood7th
October 21, 2024 13:09 7m 8s BookWood7th:LocationComparisonFix
BookWood7th:LocationComparisonFix
October 21, 2024 13:09 7m 8s
The Removal of Recoder CodeQL #2658: Pull request #3120 synchronize by wadoon
October 18, 2024 14:25 1m 52s weigl/key-javaparser3
weigl/key-javaparser3
October 18, 2024 14:25 1m 52s
CodeQL CodeQL #2657: Scheduled
October 17, 2024 21:28 7m 34s main
main
October 17, 2024 21:28 7m 34s
Isabelle Translation CodeQL #2656: Pull request #3514 reopened by BookWood7th
October 17, 2024 16:59 8m 47s BookWood7th:main
BookWood7th:main
October 17, 2024 16:59 8m 47s
Isabelle Translation CodeQL #2655: Pull request #3514 synchronize by BookWood7th
October 17, 2024 00:53 9m 4s BookWood7th:main
BookWood7th:main
October 17, 2024 00:53 9m 4s
Bump the github-actions-deps group with 2 updates (#3517) CodeQL #2654: Commit 8e28439 pushed by github-merge-queue bot
October 14, 2024 12:23 7m 34s main
main
October 14, 2024 12:23 7m 34s
CodeQL CodeQL #2653: Merge group checks requested
October 14, 2024 11:15 7m 19s
October 14, 2024 11:15 7m 19s
Isabelle Translation CodeQL #2652: Pull request #3514 synchronize by BookWood7th
October 11, 2024 10:58 5m 32s BookWood7th:main
BookWood7th:main
October 11, 2024 10:58 5m 32s
CodeQL CodeQL #2651: Scheduled
October 10, 2024 21:28 7m 20s main
main
October 10, 2024 21:28 7m 20s