Build Workspace

Fix: reset metrics properly #113

Sign in to view logs

Triggered via pull request December 6, 2025 17:52

kunxian-xia

opened #21

fix/reset_metrics

Status Cancelled

Total duration 11m 51s

Artifacts –

build.yml

on: pull_request

Annotations

2 errors

Build Workspace

Canceling since a higher priority waiting request for scroll-tech/openvm/.github/workflows/build.yml@refs/pull/21/merge-build-21 exists

Canceling since a higher priority waiting request for scroll-tech/openvm/.github/workflows/build.yml@refs/pull/21/merge-build-21 exists