lint PR

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

Sign in to view logs

Triggered via pull request July 22, 2024 16:55

monoid

edited #851

chore/update-rustc-20240721

Status Success

Total duration 11s

Artifacts –

lint-pr.yml

on: pull_request

Validate PR title