Verify with KeY

Files of the FM Tutoral 2024, Version 1.0 #43

Sign in to view logs

Triggered via push June 24, 2024 00:44

wadoon

main

Status Success

Total duration 1m 25s

Artifacts –

check.yml

on: push

Matrix: verify