Skip to content

chore: Add Quint model of Interchain Security #4316

chore: Add Quint model of Interchain Security

chore: Add Quint model of Interchain Security #4316

Triggered via pull request September 29, 2023 14:07
Status Success
Total duration 37s
Artifacts

golangci-lint.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

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