Skip to content
build

Integration: exports the fields needed by the prover for integration #112

Sign in to view logs

Integration: exports the fields needed by the prover for integration

Integration: exports the fields needed by the prover for integration #112

Triggered via pull request September 5, 2024 08:59
@AlexandreBellingAlexandreBelling
opened #292
integration/export-all-needed-fields
Status Failure
Total duration 2m 31s
Artifacts –

build.yml

on: pull_request
test
2m 15s
test
lint
17s
lint
Fit to window
Zoom out
Zoom in

Annotations

5 errors
lint: pkg/schema/constraint/permutation.go#L79
exported: exported method PermutationConstraint.Targets should have comment or be unexported (revive)
lint: pkg/schema/constraint/range.go#L63
exported: exported method RangeConstraint.Column should have comment or be unexported (revive)
lint: pkg/schema/constraint/permutation.go#L83
exported: exported method PermutationConstraint.Sources should have comment or be unexported (revive)
lint: pkg/schema/constraint/range.go#L67
exported: comment on exported method RangeConstraint.Bound should be of the form "Bound ..." (revive)
lint
Process completed with exit code 2.