Skip to content

Actions: KeYProject/key

Actions

Software Publication

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
7 workflow runs
7 workflow runs

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
Metadata Curation for Commit 88fb02a0 Software Publication #7: Pull request #3903 closed by wadoon
17s hermes/curate-result-88fb02a0
hermes/curate-result-88fb02a0
17s
remove plugin Software Publication #6: Commit 88fb02a pushed by wadoon
35s weigl/hermes2
weigl/hermes2
35s
remove plugin Software Publication #5: Commit 4ab0356 pushed by wadoon
33s weigl/hermes2
weigl/hermes2
33s
hermes snd try Software Publication #4: Commit e8507af pushed by wadoon
26s weigl/hermes2
weigl/hermes2
26s
hermes init Software Publication #3: Pull request #3817 closed by wadoon
9s weigl/hermes
weigl/hermes
9s
guide not working Software Publication #2: Commit 14d8958 pushed by wadoon
29s weigl/hermes
weigl/hermes
29s
allows on this branch for testing Software Publication #1: Commit 2d67b39 pushed by wadoon
33s weigl/hermes
weigl/hermes
33s