Skip to content

improve the name of var partition #1430

improve the name of var partition

improve the name of var partition #1430

Triggered via pull request March 5, 2025 07:12
Status Success
Total duration 19s
Artifacts

pre-commit.yml

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