chore(core): change name to ethrex #237

Sign in to view logs

Triggered via pull request November 19, 2024 21:06

jrchatruc

opened #1212

change-name-to-ethrex

Status Skipped

Total duration 4s

Artifacts –

ci_skipped.yaml

on: pull_request

Build Docker image

Build RISC-V zkVM program