Verifpal 0.27.3 #17
Annotations
10 errors and 3 warnings
|
cmd/vplogic/attackerstate.go#L1
: # verifpal.com/cmd/vplogic
|
|
cmd/vplogic/coq.go#L16
undefined: libpegParseModel
|
|
cmd/vplogic/coq.go#L39
undefined: libcoq
|
|
cmd/vplogic/json.go#L43
undefined: Parse
|
|
cmd/vplogic/json.go#L58
undefined: Parse
|
|
cmd/vplogic/json.go#L95
undefined: Parse
|
|
cmd/vplogic/json.go#L109
undefined: Parse
|
|
cmd/vplogic/json.go#L123
undefined: Parse
|
|
cmd/vplogic/pretty.go#L15
undefined: libpegParseModel
|
|
cmd/vplogic/pv.go#L15
undefined: libpegParseModel
|
|
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-go@v4.1.0, actions/checkout@v2, golangci/golangci-lint-action@v3.7.0. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
|
This job failed
Loading