update github actions to check push and PR to devel_pre and devel_pre_v4#528

Merged

cying111 merged 3 commits intodevel_prefrom

update_github_actions

Jan 15, 2026

Commits on Jan 15, 2026

update github actions to check push and PR to devel_pre and devel_pre_v4
cying111
committed
add check of lint for push and PR towards devel_Pre and devel_pre_v4
cying111
committed
add check of test-coverage for push and PR towards devel_pre and devel_pre_v4
cying111
committed