GitHub repository: runtimeverification/optimism-ci
Description: CI Hosting Symbolic Execution for Ethereum-Optimism