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

CodeQL CodeQL #2651: Scheduled
October 10, 2024 21:28 7m 20s main
main
October 10, 2024 21:28 7m 20s
CodeQL CodeQL #2650: Scheduled
October 3, 2024 21:27 7m 43s main
main
October 3, 2024 21:27 7m 43s
Bump the gradle-deps group with 5 updates (#3516) CodeQL #2649: Commit 41a76db pushed by github-merge-queue bot
October 3, 2024 00:04 7m 2s main
main
October 3, 2024 00:04 7m 2s
CodeQL CodeQL #2648: Merge group checks requested
October 2, 2024 22:57 6m 46s
October 2, 2024 22:57 6m 46s
Bump the github-actions-deps group with 2 updates CodeQL #2647: Pull request #3517 opened by dependabot bot
October 1, 2024 20:57 6m 54s dependabot/github_actions/github-actions-deps-351d3193e3
dependabot/github_actions/github-actions-deps-351d3193e3
October 1, 2024 20:57 6m 54s
Bump the gradle-deps group with 5 updates CodeQL #2646: Pull request #3516 opened by dependabot bot
October 1, 2024 20:49 6m 49s dependabot/gradle/gradle-deps-73ff2347a1
dependabot/gradle/gradle-deps-73ff2347a1
October 1, 2024 20:49 6m 49s
CodeQL CodeQL #2645: Scheduled
September 26, 2024 21:28 7m 8s main
main
September 26, 2024 21:28 7m 8s
Isabelle Translation CodeQL #2644: Pull request #3514 synchronize by BookWood7th
September 24, 2024 16:16 9m 21s BookWood7th:main
BookWood7th:main
September 24, 2024 16:16 9m 21s
Isabelle Translation CodeQL #2643: Pull request #3514 synchronize by BookWood7th
September 22, 2024 11:40 9m 5s BookWood7th:main
BookWood7th:main
September 22, 2024 11:40 9m 5s
CodeQL CodeQL #2642: Scheduled
September 19, 2024 21:26 7m 3s main
main
September 19, 2024 21:26 7m 3s
Isabelle Translation CodeQL #2641: Pull request #3514 synchronize by BookWood7th
September 19, 2024 11:26 8m 35s BookWood7th:main
BookWood7th:main
September 19, 2024 11:26 8m 35s
CodeQL CodeQL #2640: Scheduled
September 12, 2024 21:26 7m 13s main
main
September 12, 2024 21:26 7m 13s
CodeQL CodeQL #2639: Scheduled
September 5, 2024 21:26 7m 1s main
main
September 5, 2024 21:26 7m 1s
Isabelle Translation CodeQL #2638: Pull request #3514 opened by BookWood7th
September 5, 2024 12:01 8m 43s BookWood7th:main
BookWood7th:main
September 5, 2024 12:01 8m 43s
Option to disable ProofTree tooltips, render them lazily (#3510) CodeQL #2637: Commit 144a9ba pushed by github-merge-queue bot
September 4, 2024 21:03 7m 20s main
main
September 4, 2024 21:03 7m 20s
CodeQL CodeQL #2636: Merge group checks requested
September 4, 2024 19:53 7m 14s
September 4, 2024 19:53 7m 14s
Option to disable ProofTree tooltips, render them lazily CodeQL #2635: Pull request #3510 synchronize by WolframPfeifer
September 3, 2024 17:37 7m 30s pfeifer/3500lazyProofTreeTooltips
pfeifer/3500lazyProofTreeTooltips
September 3, 2024 17:37 7m 30s
Fix for visual bug with overlapping/unreadable text in color settings… CodeQL #2634: Commit 0fda856 pushed by github-merge-queue bot
September 2, 2024 11:24 7m 34s main
main
September 2, 2024 11:24 7m 34s
Bump the github-actions-deps group with 2 updates (#3512) CodeQL #2633: Commit f349711 pushed by github-merge-queue bot
September 2, 2024 10:30 7m 41s main
main
September 2, 2024 10:30 7m 41s
Bump the gradle-deps group with 8 updates (#3511) CodeQL #2632: Commit 58c7a7d pushed by github-merge-queue bot
September 2, 2024 10:28 7m 28s main
main
September 2, 2024 10:28 7m 28s
CodeQL CodeQL #2631: Merge group checks requested
September 2, 2024 10:17 7m 19s
September 2, 2024 10:17 7m 19s
CodeQL CodeQL #2630: Merge group checks requested
September 2, 2024 09:22 7m 11s
September 2, 2024 09:22 7m 11s
CodeQL CodeQL #2629: Merge group checks requested
September 2, 2024 09:20 7m 21s
September 2, 2024 09:20 7m 21s
Bump the github-actions-deps group with 2 updates CodeQL #2628: Pull request #3512 opened by dependabot bot
September 1, 2024 20:07 7m 14s dependabot/github_actions/github-actions-deps-bf77d6b73d
dependabot/github_actions/github-actions-deps-bf77d6b73d
September 1, 2024 20:07 7m 14s
Bump the gradle-deps group with 8 updates CodeQL #2627: Pull request #3511 opened by dependabot bot
September 1, 2024 20:02 7m 24s dependabot/gradle/gradle-deps-2356379845
dependabot/gradle/gradle-deps-2356379845
September 1, 2024 20:02 7m 24s