Hau (Leo) NGUYEN

Results 3 issues of Hau (Leo) NGUYEN

We run the app in the master branch and loaded this file but I can not open it, can you help me to check? Thank you. @sjdayday [petri-net.pkl.zip](https://github.com/sarahtattersall/PIPE/files/9103789/petri-net.pkl.zip)

``` // LAZY - to release the mutex as quickly as possible and defer the work ``` The only change is in the comment // LAZY - to release the...

Hi @AndroidInternal @Xinmeng322 , please help to review this : upgrade gradle to 8.5 & jvmTarget 17πŸ‘