Lint

test: Replace difftest model with Quint=>MBT #4930

Sign in to view logs

Triggered via pull request December 15, 2023 10:25

synchronize #1369

ph/mbt

Status Success

Total duration 12s

Artifacts –

golangci-lint.yml

on: pull_request

Annotations

2 warnings

golangci-lint

Please checkout before call this action.

golangci-lint

Restore cache failed: Dependencies file is not found in /home/runner/work/interchain-security/interchain-security. Supported file pattern: go.sum