fix: local changes did not refresh after .gitmodule changed (#1508)
#25
| Job | Run time |
|---|---|
| 42s | |
| 42s |
.gitmodule changed (#1508)
#25
| Job | Run time |
|---|---|
| 42s | |
| 42s |