Skip to content

Rename SearchId to Handle. #432

Rename SearchId to Handle.

Rename SearchId to Handle. #432

Triggered via pull request October 11, 2024 18:06
Status Success
Total duration 1m 25s
Artifacts

rust.yml

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