CI

chore: refresh tool metrics #79

Sign in to view logs

This workflow is awaiting approval from a maintainer in #1

Triggered via pull request August 4, 2026 05:43

github-actions[bot]

synchronize #1

bot/refresh-metrics

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #1

ci.yml

on: pull_request