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
Proof Scripts in JML Tests #4906: Pull request #3657 synchronize by unp1
2m 31s mattulbrich:jmlScripts
mattulbrich:jmlScripts
2m 31s
Proof Scripts in JML CodeQuality #4987: Pull request #3657 synchronize by unp1
9s mattulbrich:jmlScripts
mattulbrich:jmlScripts
9s
Proof Scripts in JML CodeQuality #4986: Pull request #3657 synchronize by unp1
8s mattulbrich:jmlScripts
mattulbrich:jmlScripts
8s
Proof Scripts in JML Tests #4905: Pull request #3657 synchronize by unp1
2m 29s mattulbrich:jmlScripts
mattulbrich:jmlScripts
2m 29s
Multithreading for KeY Tests #4904: Pull request #3842 synchronize by unp1
In progress bubel/mt-goals
bubel/mt-goals
In progress
Multithreading for KeY CodeQuality #4985: Pull request #3842 synchronize by unp1
2m 22s bubel/mt-goals
bubel/mt-goals
2m 22s
Proof Scripts in JML CodeQuality #4984: Pull request #3657 synchronize by unp1
1s mattulbrich:jmlScripts
mattulbrich:jmlScripts
1s
Proof Scripts in JML Tests #4903: Pull request #3657 synchronize by unp1
2m 46s mattulbrich:jmlScripts
mattulbrich:jmlScripts
2m 46s
Proof Scripts in JML Tests #4902: Pull request #3657 synchronize by unp1
2m 25s mattulbrich:jmlScripts
mattulbrich:jmlScripts
2m 25s
Proof Scripts in JML CodeQuality #4983: Pull request #3657 synchronize by unp1
8s mattulbrich:jmlScripts
mattulbrich:jmlScripts
8s
Proof Scripts in JML Tests #4901: Pull request #3657 synchronize by unp1
2m 51s mattulbrich:jmlScripts
mattulbrich:jmlScripts
2m 51s
Proof Scripts in JML CodeQuality #4982: Pull request #3657 synchronize by unp1
1s mattulbrich:jmlScripts
mattulbrich:jmlScripts
1s
Better ImmutableList (#3816) Tests #4900: Commit 84570f1 pushed by github-merge-queue Bot
51m 5s main
main
51m 5s
Better ImmutableList (#3816) CodeQuality #4981: Commit 84570f1 pushed by github-merge-queue Bot
2m 34s main
main
2m 34s
Tests Tests #4899: Merge group checks requested
41m 39s
41m 39s
CodeQuality CodeQuality #4980: Merge group checks requested
2m 32s
2m 32s
Better ImmutableList Tests #4898: Pull request #3816 synchronize by wadoon
45m 4s weigl/ilist
weigl/ilist
45m 4s
Better ImmutableList CodeQuality #4979: Pull request #3816 synchronize by wadoon
2m 14s weigl/ilist
weigl/ilist
2m 14s
Proof Scripts in JML CodeQuality #4978: Pull request #3657 synchronize by unp1
8s mattulbrich:jmlScripts
mattulbrich:jmlScripts
8s
Proof Scripts in JML Tests #4897: Pull request #3657 synchronize by unp1
2m 31s mattulbrich:jmlScripts
mattulbrich:jmlScripts
2m 31s
Proof Scripts in JML Tests #4896: Pull request #3657 synchronize by unp1
3m 25s mattulbrich:jmlScripts
mattulbrich:jmlScripts
3m 25s
Proof Scripts in JML CodeQuality #4977: Pull request #3657 synchronize by unp1
8s mattulbrich:jmlScripts
mattulbrich:jmlScripts
8s
Implement \real literals (#3570); fix LogicPrinter.quickPrintSemisequent (#243) CodeQuality #4976: Pull request #3865 synchronize by unp1
2m 22s fix/key-core-printer-low
fix/key-core-printer-low
2m 22s
Implement \real literals (#3570); fix LogicPrinter.quickPrintSemisequent (#243) Tests #4895: Pull request #3865 synchronize by unp1
40m 52s fix/key-core-printer-low
fix/key-core-printer-low
40m 52s
Weekly Builds of KeY Weekly Builds of KeY #207: Scheduled
19m 6s main
main
19m 6s