Skip to content
Static Analysis

model checker spec #12

Sign in to view logs

model checker spec

model checker spec #12

Triggered via push November 22, 2023 15:30
@joshuazh-xjoshuazh-x
pushed 1b1b4d6
main
Status Failure
Total duration 28s
Artifacts –

static-analysis.yaml

on: push
run
18s
run
Fit to window
Zoom out
Zoom in

Annotations

10 errors and 3 warnings
run
Cannot open: File exists
run
Cannot open: File exists
run
Cannot open: File exists
run
Cannot open: File exists
run
Cannot open: File exists
run
Cannot open: File exists
run
Cannot open: File exists
run
Cannot open: File exists
run
Cannot open: File exists
run
Cannot open: File exists
run
Failed to restore: "/usr/bin/tar" failed with error: The process '/usr/bin/tar' failed with exit code 2
run: state_trace.go#L11
exported: type name will be used as raft.RaftStateMachineEventType by other packages, and that stutters; consider calling this StateMachineEventType (revive)
run: state_trace.go#L98
var-naming: struct field NodeId should be NodeID (revive)