Skip to content

Actions: KeYProject/verification-project-template

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1 workflow run
1 workflow run

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

new version of the verification template Makefile CI #10: Pull request #1 opened by wadoon
October 24, 2023 11:45 17s weigl/gradle
weigl/gradle
October 24, 2023 11:45 17s