Add Kontrol proofs for OptimismPortal #8634
Merged
CircleCI Checks / main
succeeded
Jan 16, 2024 in 18m 45s
Workflow: main
- check-generated-mocks-op-node - Success
- cannon-build-test-vectors - Success
- op-bindings-build - Success
- pnpm-monorepo - Success
- core-utils-tests - Success
- contracts-ts-tests - Success
- sdk-next-tests - Success
- contracts-bedrock-slither - Success
- bedrock-markdown - Success
- op-stack-go-docker-build - Success
- op-conductor-docker-build - Success
- op-challenger-docker-build - Success
- op-heartbeat-docker-build - Success
- op-proposer-docker-build - Success
- op-program-docker-build - Success
- op-node-docker-build - Success
- kontrol-tests - Success
- check-generated-mocks-op-service - Success
- ufm-metamask-docker-build - Success
- semgrep-scan - Success
- op-batcher-docker-build - Success
- contracts-bedrock-coverage - Success
- depcheck - Success
- proxyd-tests - Success
- contracts-bedrock-tests - Success
- l1-geth-version-check - Success
- cannon-go-lint-and-test - Success
- common-ts-tests - Success
- go-mod-download - Success
- go-mod-tidy - Success
- devnet-allocs - Success
- op-stack-go-lint - Success
- op-chain-ops-fuzz - Success
- op-e2e-HTTP-tests - Success
- op-program-tests - Success
- op-program-compat - Success
- op-batcher-tests - Success
- cannon-fuzz - Success
- op-heartbeat-tests - Success
- op-e2e-WS-tests - Success
- op-service-rethdb-tests - Success
- op-chain-ops-tests - Success
- op-conductor-tests - Success
- op-bindings-tests - Success
- op-service-tests - Success
- op-proposer-tests - Success
- op-challenger-tests - Success
- op-node-tests - Success
- op-e2e-ext-geth-tests - Success
- bedrock-go-tests - Success
- contracts-bedrock-checks - Success
- indexer-docker-build - Success
- contracts-bedrock-validate-spaces - Success
- chain-mon-tests - Success
- op-node-fuzz - Success
- sdk-tests - Success
- cannon-prestate - Success
- devnet - Success
- op-service-fuzz - Success
- indexer-tests - Success
Loading