Skip to content

Merge branch 'master' of https://github.com/uds-se/fuzzingbook #212

Merge branch 'master' of https://github.com/uds-se/fuzzingbook

Merge branch 'master' of https://github.com/uds-se/fuzzingbook #212

Triggered via push July 2, 2023 11:42
Status Failure
Total duration 5m 21s
Artifacts

check-types.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error
type-checking
Process completed with exit code 2.