Lint

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

Sign in to view logs

Triggered via pull request December 8, 2023 12:34

synchronize #1369

ph/mbt

Status Success

Total duration 18s

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