Skip to content

Rename SearchId to Handle. #428

Rename SearchId to Handle.

Rename SearchId to Handle. #428

Triggered via pull request October 11, 2024 17:59
Status Success
Total duration 1m 12s
Artifacts

rust.yml

on: pull_request
formatting
5s
formatting
Matrix: build-test
Fit to window
Zoom out
Zoom in