Skip to content

improve the name of var partition #1437

improve the name of var partition

improve the name of var partition #1437

Triggered via pull request March 6, 2025 03:19
Status Success
Total duration 23s
Artifacts

pre-commit.yml

on: pull_request
Check code with precommit
14s
Check code with precommit
Fit to window
Zoom out
Zoom in