Skip to content
Verify with KeY

fix for accidental modification #45

Sign in to view logs

fix for accidental modification

fix for accidental modification #45

Triggered via push September 10, 2024 14:46
@unp1unp1
pushed 6cead8e
main
Status Success
Total duration 1m 21s
Artifacts –

check.yml

on: push
Matrix: verify
Fit to window
Zoom out
Zoom in