Bot Policies Ruleset

chore: bump criterion.rs #16603

Sign in to view logs

Triggered via pull request December 5, 2025 14:26

nmattia

opened #7963

Status Success

Total duration 20s

Artifacts –

repo_policies.yml Required

on: pull_request_target

check-is-bot / Check Is Bot

Check Bot Policies