Skip to content
Update Version

fix formatting #3848

Sign in to view logs

fix formatting

fix formatting #3848

Triggered via push January 28, 2025 05:46
@anvacaruanvacaru
pushed 583a68d
_update-deps/runtimeverification/k
Status Success
Total duration 1m 13s
Artifacts –

update-version.yml

on: push
Update Dependency Versions
1m 4s
Update Dependency Versions
Fit to window
Zoom out
Zoom in