Skip to content
Update Version

New action, new workflow test-pr using new action. New update-version… #1

Sign in to view logs

New action, new workflow test-pr using new action. New update-version…

New action, new workflow test-pr using new action. New update-version… #1

Triggered via push September 28, 2023 23:00
@F-WRunTimeF-WRunTime
pushed ec35bf1
_update-deps/runtimeverification/kontrol
Status Success
Total duration 22s
Artifacts –

update-version.yml

on: push
set-image-version
13s
set-image-version
Fit to window
Zoom out
Zoom in