Skip to content

chore: Add Quint model of Interchain Security #4704

chore: Add Quint model of Interchain Security

chore: Add Quint model of Interchain Security #4704

Triggered via pull request September 19, 2023 15:00
Status Failure
Total duration 14m 24s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

automated-tests.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error
E2E_Tests
Process completed with exit code 2.