Pipeline · Verifpal / Verifpal

Fix lll

2 jobs for master in 13 seconds (queued for 2 seconds)

Status	Job ID	Name
Lint
failed	#127	lint	00:00:13 Mar 26, 2020

Test
skipped	#128	test

Name Stage Failure

	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

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