🧠 Use our own axone/prolog fork in logic module
#1959
bdeneuxlint.yml
on: pull_request
lint-commits
18s
lint-markdown
18s
lint-yaml
7s
lint-json
30s
lint-go
2m 43s
analyze-go
4m 2s
lint-dockerfile
13s
lint-proto
7s
lint-generated
1m 26s
lint-shell
4s
Annotations
25 errors
|
lint-generated
Process completed with exit code 1.
|
|
lint-generated:
x/logic/util/prolog.go#L8
github.com/ichiban/[email protected]: replacement directory ../prolog does not exist
|
|
lint-generated:
x/logic/util/prolog.go#L9
github.com/ichiban/[email protected]: replacement directory ../prolog does not exist
|
|
lint-generated:
x/logic/util/prolog.go#L8
github.com/ichiban/[email protected]: replacement directory ../prolog does not exist
|
|
lint-generated:
x/logic/util/prolog.go#L9
github.com/ichiban/[email protected]: replacement directory ../prolog does not exist
|
|
lint-go:
x/logic/interpreter/interpreter.go#L14
`math` redeclared in this block (typecheck)
|
|
lint-go:
x/logic/interpreter/interpreter.go#L9
other declaration of math (typecheck)
|
|
lint-go:
x/logic/interpreter/interpreter.go#L14
"cosmossdk.io/math" imported and not used (typecheck)
|
|
lint-go:
x/logic/predicate/encoding.go#L26
result declared and not used (typecheck)
|
|
lint-go:
x/logic/predicate/file.go#L40
loaded declared and not used (typecheck)
|
|
lint-go:
x/logic/predicate/json.go#L36
result declared and not used (typecheck)
|
|
lint-go:
x/logic/predicate/json.go#L93
asDomainError declared and not used (typecheck)
|
|
lint-go:
x/logic/predicate/did.go#L4
"strings" imported and not used (typecheck)
|
|
lint-go:
x/logic/predicate/did.go#L7
"github.com/nuts-foundation/go-did/did" imported as godid and not used (typecheck)
|
|
lint-go:
x/logic/predicate/did.go#L8
"github.com/samber/lo" imported and not used (typecheck)
|
|
analyze-go
github.com/ichiban/[email protected]: replacement directory ../prolog does not exist
|
|
analyze-go
could not import context (no metadata for context)
|
|
analyze-go
could not import errors (no metadata for errors)
|
|
analyze-go
could not import strings (no metadata for strings)
|
|
analyze-go
could not import github.com/ichiban/prolog (no metadata for github.com/ichiban/prolog)
|
|
analyze-go
could not import github.com/ichiban/prolog/engine (no metadata for github.com/ichiban/prolog/engine)
|
|
analyze-go
could not import github.com/samber/lo (no metadata for github.com/samber/lo)
|
|
analyze-go
could not import cosmossdk.io/errors (no metadata for cosmossdk.io/errors)
|
|
analyze-go
could not import cosmossdk.io/math (no metadata for cosmossdk.io/math)
|
|
analyze-go
could not import github.com/cosmos/cosmos-sdk/types (no metadata for github.com/cosmos/cosmos-sdk/types)
|