Auto merge of #12303 - GuillaumeGomez:unneedeed_clippy_cfg_attr, r=fl… #332

Sign in to view logs

Summary
Jobs
- deploy
Run details
- Usage
- Workflow file

Triggered via push February 22, 2024 14:14

flip1995

master

Status Skipped

Total duration 3s

Artifacts –

deploy.yml

on: push