Skip to content
Verify with KeY

update key to current master #37

Sign in to view logs

update key to current master

update key to current master #37

Triggered via push June 20, 2024 09:01
@wadoonwadoon
pushed 021cbca
main
Status Success
Total duration 1m 21s
Artifacts –

check.yml

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