lint PR

chore: Rust channel update dedicated to Panamerican Engineer's Day #2469

Sign in to view logs

Triggered via pull request July 22, 2024 16:54

monoid

opened #851

chore/update-rustc-20240721

Status Success

Total duration 14s

Artifacts –

lint-pr.yml

on: pull_request

Validate PR title