Skip to content

Actions: BookWood7th/key

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Optional Tests Optional Tests #2: Scheduled
February 1, 2025 01:05 18m 2s isabelleTranslation
isabelleTranslation
February 1, 2025 01:05 18m 2s
Optional Tests Optional Tests #1: Scheduled
January 31, 2025 01:01 17m 32s isabelleTranslation
isabelleTranslation
January 31, 2025 01:01 17m 32s
Broad Release Tests Broad Release Tests #1: Scheduled
January 27, 2025 05:15 1h 13m 23s isabelleTranslation
isabelleTranslation
January 27, 2025 05:15 1h 13m 23s
Nightly Deployer of Weekly Builds Nightly Deployer of Weekly Builds #1: Scheduled
January 27, 2025 05:14 58s isabelleTranslation
isabelleTranslation
January 27, 2025 05:14 58s
Merge branch 'KeYProject:main' into main Javadoc #1: Commit 901d869 pushed by BookWood7th
January 23, 2025 16:27 18m 38s main
main
January 23, 2025 16:27 18m 38s
Merge branch 'KeYProject:main' into main CodeQuality #1: Commit 901d869 pushed by BookWood7th
January 23, 2025 16:27 22m 5s main
main
January 23, 2025 16:27 22m 5s
Merge branch 'KeYProject:main' into main Tests #1: Commit 901d869 pushed by BookWood7th
January 23, 2025 16:27 1h 7m 17s main
main
January 23, 2025 16:27 1h 7m 17s
Merge branch 'KeYProject:main' into main SonarCloud #1: Commit 901d869 pushed by BookWood7th
January 23, 2025 16:27 19m 56s main
main
January 23, 2025 16:27 19m 56s