refactor!: type parametrized header #26
Annotations
10 errors
|
interface.go#L10
undefined: header (typecheck)
|
|
interface.go#L13
undefined: header (typecheck)
|
|
proof.go#L20
undefined: header (typecheck)
|
|
interface.go#L16
undefined: header (typecheck)
|
|
interface.go#L25
undefined: header (typecheck)
|
|
interface.go#L43
undefined: header (typecheck)
|
|
interface.go#L59
undefined: header (typecheck)
|
|
interface.go#L33
undefined: header (typecheck)
|
|
interface.go#L53
undefined: header (typecheck)
|
|
proof.go#L56
undefined: header (typecheck)
|
The logs for this run have expired and are no longer available.
Loading