Billy Chan 87a9eb9d15
Run CI only on latest PR commit (#920)
* Run CI only on latest PR commit

* CI of previous commit should be cancelled...

* Revert
2022-07-28 12:00:04 +08:00
..