Fix lll

2 jobs for master in 13 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Lint
failed #127
lint

00:00:13

 
  Test
skipped #128
test
 
Name Stage Failure
failed
lint Lint
internal/verifpal/proverif.go:33:6: `proverifValue` is unused (deadcode)
func proverifValue(a value) string {
^
internal/verifpal/proverif.go:37:6: `proverifValues` is unused (deadcode)
func proverifValues(a []value) string {
^
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1