Mukan Erkin Törük
6852832fe8
Some checks failed
CodeQL / Analyze (push) Waiting to run
Docker Build & Push Simapp (main) / docker-build (push) Waiting to run
golangci-lint / lint (push) Waiting to run
Tests / Code Coverage / build (amd64) (push) Waiting to run
Tests / Code Coverage / build (arm64) (push) Waiting to run
Tests / Code Coverage / unit-tests (map[additional-args:-tags="test_e2e" name:e2e path:./e2e]) (push) Waiting to run
Tests / Code Coverage / unit-tests (map[name:08-wasm path:./modules/light-clients/08-wasm]) (push) Waiting to run
Tests / Code Coverage / unit-tests (map[name:ibc-go path:.]) (push) Waiting to run
Deploy to GitHub Pages / Deploy to GitHub Pages (push) Has been cancelled
Buf-Push / push (push) Has been cancelled
|
||
|---|---|---|
| .. | ||
| account.tla | ||
| account_record.tla | ||
| apalache-to-relay-test.json | ||
| apalache-to-relay-test2.json | ||
| denom.tla | ||
| denom_record.tla | ||
| denom_record2.tla | ||
| denom_sequence.tla | ||
| identifiers.tla | ||
| relay.tla | ||
| relay_tests.tla | ||