Back to pull request #1369

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

Sign in to view logs

Triggered via pull request December 18, 2023 10:47

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