Skip to content

Actions: KeYProject/key

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,602 workflow runs
5,602 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Tests Tests #2598: Merge group checks requested
October 14, 2024 11:15 1h 7m 15s
October 14, 2024 11:15 1h 7m 15s
Nightly Deployer of Weekly Builds Nightly Deployer of Weekly Builds #91: Scheduled
October 14, 2024 05:20 1m 54s main
main
October 14, 2024 05:20 1m 54s
Broad Release Tests Broad Release Tests #78: Scheduled
October 14, 2024 05:16 1h 12m 43s main
main
October 14, 2024 05:16 1h 12m 43s
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
Isabelle Translation Tests #2597: Pull request #3514 synchronize by BookWood7th
October 11, 2024 10:58 1h 8m 2s BookWood7th:main
BookWood7th:main
October 11, 2024 10:58 1h 8m 2s
Isabelle Translation CodeQuality #2665: Pull request #3514 synchronize by BookWood7th
October 11, 2024 10:58 1m 51s BookWood7th:main
BookWood7th:main
October 11, 2024 10:58 1m 51s
Optional Tests Optional Tests #110: Scheduled
October 11, 2024 01:25 17m 58s main
main
October 11, 2024 01:25 17m 58s
CodeQL CodeQL #2651: Scheduled
October 10, 2024 21:28 7m 20s main
main
October 10, 2024 21:28 7m 20s
Nightly Deployer of Weekly Builds Nightly Deployer of Weekly Builds #90: Scheduled
October 7, 2024 05:22 1m 52s main
main
October 7, 2024 05:22 1m 52s
Broad Release Tests Broad Release Tests #77: Scheduled
October 7, 2024 05:17 1h 13m 5s main
main
October 7, 2024 05:17 1h 13m 5s
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
Bump the gradle-deps group with 5 updates (#3516) CodeQuality #2664: Commit 41a76db pushed by github-merge-queue bot
October 3, 2024 00:04 9m 27s main
main
October 3, 2024 00:04 9m 27s
Bump the gradle-deps group with 5 updates (#3516) Tests #2596: Commit 41a76db pushed by github-merge-queue bot
October 3, 2024 00:04 1h 7m 12s main
main
October 3, 2024 00:04 1h 7m 12s
CodeQL CodeQL #2648: Merge group checks requested
October 2, 2024 22:57 6m 46s
October 2, 2024 22:57 6m 46s
CodeQuality CodeQuality #2663: Merge group checks requested
October 2, 2024 22:57 8m 17s
October 2, 2024 22:57 8m 17s
Tests Tests #2595: Merge group checks requested
October 2, 2024 22:57 1h 6m 54s
October 2, 2024 22:57 1h 6m 54s
Bump the github-actions-deps group with 2 updates CodeQuality #2662: Pull request #3517 opened by dependabot bot
October 1, 2024 20:57 47s dependabot/github_actions/github-actions-deps-351d3193e3
dependabot/github_actions/github-actions-deps-351d3193e3
October 1, 2024 20:57 47s
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 github-actions-deps group with 2 updates Tests #2594: Pull request #3517 opened by dependabot bot
October 1, 2024 20:57 1h 7m 55s dependabot/github_actions/github-actions-deps-351d3193e3
dependabot/github_actions/github-actions-deps-351d3193e3
October 1, 2024 20:57 1h 7m 55s
github_actions in /. - Update #894298930 Dependabot Updates #6: by dependabot bot
October 1, 2024 20:55 1m 36s
October 1, 2024 20:55 1m 36s
Bump the gradle-deps group with 5 updates CodeQuality #2661: Pull request #3516 opened by dependabot bot
October 1, 2024 20:49 1m 58s dependabot/gradle/gradle-deps-73ff2347a1
dependabot/gradle/gradle-deps-73ff2347a1
October 1, 2024 20:49 1m 58s
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
Bump the gradle-deps group with 5 updates Tests #2593: Pull request #3516 opened by dependabot bot
October 1, 2024 20:49 1h 7m 19s dependabot/gradle/gradle-deps-73ff2347a1
dependabot/gradle/gradle-deps-73ff2347a1
October 1, 2024 20:49 1h 7m 19s
gradle in /. - Update #894295205 Dependabot Updates #5: by dependabot bot
October 1, 2024 20:48 1m 5s
October 1, 2024 20:48 1m 5s