Skip to content

Actions: KeYProject/key

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
repairing NPE when invoking KeY on a local file. (#3965) Tests #5447: Commit 555a763 pushed by github-merge-queue Bot
37m 58s main
main
37m 58s
repairing NPE when invoking KeY on a local file. (#3965) CodeQuality #5531: Commit 555a763 pushed by github-merge-queue Bot
2m 33s main
main
2m 33s
Tests Tests #5446: Merge group checks requested
38m 55s
38m 55s
CodeQuality CodeQuality #5530: Merge group checks requested
2m 19s
2m 19s
Add Case Study Verify This 2026/1 Tests #5445: Pull request #3964 synchronize by mattulbrich
25m 46s verifyThis26_1
verifyThis26_1
25m 46s
Add Case Study Verify This 2026/1 CodeQuality #5529: Pull request #3964 synchronize by mattulbrich
2m 35s verifyThis26_1
verifyThis26_1
2m 35s
Small feature: go to node with given serial number Tests #5444: Pull request #3963 synchronize by mattulbrich
37m 33s pfeifer/gotoNode
pfeifer/gotoNode
37m 33s
Small feature: go to node with given serial number CodeQuality #5528: Pull request #3963 synchronize by mattulbrich
2m 40s pfeifer/gotoNode
pfeifer/gotoNode
2m 40s
Small feature: go to node with given serial number CodeQuality #5527: Pull request #3963 synchronize by mattulbrich
2m 44s pfeifer/gotoNode
pfeifer/gotoNode
2m 44s
Small feature: go to node with given serial number Tests #5443: Pull request #3963 synchronize by mattulbrich
34m 3s pfeifer/gotoNode
pfeifer/gotoNode
34m 3s
repairing NPE when invoking KeY on a local file. Tests #5442: Pull request #3965 opened by mattulbrich
37m 10s fixNPEinCLI2
fixNPEinCLI2
37m 10s
repairing NPE when invoking KeY on a local file. CodeQuality #5526: Pull request #3965 opened by mattulbrich
2m 42s fixNPEinCLI2
fixNPEinCLI2
2m 42s
Add Case Study Verify This 2026/1 Tests #5441: Pull request #3964 synchronize by mattulbrich
45m 4s verifyThis26_1
verifyThis26_1
45m 4s
Add Case Study Verify This 2026/1 CodeQuality #5525: Pull request #3964 synchronize by mattulbrich
2m 39s verifyThis26_1
verifyThis26_1
2m 39s
Add Case Study Verify This 2026/1 Tests #5440: Pull request #3964 synchronize by mattulbrich
27m 44s verifyThis26_1
verifyThis26_1
27m 44s
Add Case Study Verify This 2026/1 CodeQuality #5524: Pull request #3964 synchronize by mattulbrich
2m 43s verifyThis26_1
verifyThis26_1
2m 43s
Add Case Study Verify This 2026/1 CodeQuality #5523: Pull request #3964 synchronize by mattulbrich
2m 24s verifyThis26_1
verifyThis26_1
2m 24s
Add Case Study Verify This 2026/1 Tests #5439: Pull request #3964 synchronize by mattulbrich
2m 6s verifyThis26_1
verifyThis26_1
2m 6s
Add Case Study Verify This 2026/1 CodeQuality #5522: Pull request #3964 opened by mattulbrich
2m 4s verifyThis26_1
verifyThis26_1
2m 4s
Add Case Study Verify This 2026/1 Tests #5438: Pull request #3964 opened by mattulbrich
24m 32s verifyThis26_1
verifyThis26_1
24m 32s
Formalize LocSet as Set of Locations Tests #5437: Pull request #3962 synchronize by unp1
32m 21s locset-as-set
locset-as-set
32m 21s
Formalize LocSet as Set of Locations CodeQuality #5521: Pull request #3962 synchronize by unp1
2m 29s locset-as-set
locset-as-set
2m 29s
Formalize LocSet as Set of Locations Tests #5436: Pull request #3962 synchronize by unp1
37m 2s locset-as-set
locset-as-set
37m 2s
Formalize LocSet as Set of Locations CodeQuality #5520: Pull request #3962 synchronize by unp1
2m 27s locset-as-set
locset-as-set
2m 27s
Formalize LocSet as Set of Locations Tests #5435: Pull request #3962 synchronize by unp1
37m 14s locset-as-set
locset-as-set
37m 14s