Skip to content

chore: move @[simp] from exists_prop' to exists_prop #4844

chore: move @[simp] from exists_prop' to exists_prop

chore: move @[simp] from exists_prop' to exists_prop #4844

Triggered via pull request September 30, 2024 16:18
Status Success
Total duration 35s
Artifacts

check-stage0.yml

on: pull_request
check-stage0-on-queue
26s
check-stage0-on-queue
Fit to window
Zoom out
Zoom in