Auto merge of #12094 - yuxqiu:search_is_some, r=xFrednet,ARandomDev99 #1077

Sign in to view logs

Summary
Jobs
- base
Run details
- Usage
- Workflow file

Triggered via push April 16, 2024 15:36

flip1995

master

Status Failure

Total duration 39s

Artifacts –

clippy.yml

on: push

Annotations

1 error

Process completed with exit code 101.