00:00:13
Mar 26, 2020
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_scriptUploading artifacts for failed jobERROR: Job failed: exit code 1