Edit abstract and motivation. · stevana/coverage-guided-pbt@fb84af1

Triggered via push October 8, 2024 09:13

stevana

main

Status Success

Total duration 1m 4s

Artifacts –

main.yaml

on: push

Matrix: build-and-deploy

10 warnings

Defined but not used: ‘i’

Pattern match(es) are non-exhaustive

This binding for ‘xs’ shadows the existing binding

The import of ‘Data.Char’ is redundant

Defined but not used: ‘ch’

This binding for ‘size’ shadows the existing binding

Defined but not used: ‘n’

Defined but not used: ‘r’

Noncanonical ‘return’ definition detected

Defined but not used: ‘n’