| author | Jim Huang <jserv@ccns.ncku.edu.tw> | |
| Mon, 1 May 2023 15:48:53 +0000 (23:48 +0800) | ||
| committer | GitHub <noreply@github.com> | |
| Mon, 1 May 2023 15:48:53 +0000 (23:48 +0800) | ||
| commit | a284eabdb5efb8a688200b8e8a28a0d55ea9264f | |
| tree | 1cc6c234cf8aac89fb47d7bbe8ce997470192eb8 | tree | snapshot |
| parent | ed0b93c15233180d0c2fc7af0150fd5def1ca0cb | commit | diff |
| parent | 16e0656b2db5aab82f853e3877e23ebb50f6c6cb | commit | diff |
Merge pull request #202 from linD026/master
CI: Switch Smatch source code to GitHub mirror
CI: Switch Smatch source code to GitHub mirror