The following duplicated CI checks ran in this open PR: #478
successful checks
[build / build (pull_request)](https://github.com/casbin/jcasbin/actions/runs/20551384454/job/59029805646?pr=478)
build / build (pull_request)Successful in 59s
[build / build (push)](https://github.com/casbin/jcasbin/actions/runs/20551384073/job/59029805561?pr=478)
build / build (push)Successful in 1m
I think for an open state PR, it should not run "XXX (push)" checks, right? It should run for the git push after PR merge?
Need to fix the CI.