Chih-En Lin 16e0656b2d CI: Switch Smatch source code to GitHub mirror ...

Since the Smatch repository is unavailable recently [1], let's switch
to GitHub mirror, https://github.com/error27/smatch.git [2], instead
of using https://repo.or.cz/smatch.git.

[1] https://lore.kernel.org/all/Y1qf7w%2Fjo8FH5I8G@kadam/
[2] https://lore.kernel.org/all/20220810105926.GS3460@kadam/

2023-05-01 23:36:23 +08:00

..

build-n-run.sh

Make CI validation more verbose

2021-09-13 04:03:04 +00:00

check-format.sh

CI: Bump validation host versioning

2022-12-10 06:21:02 +08:00

non-working

Introduce Virtual Input Device Driver

2022-04-06 17:13:29 +08:00

static-analysis.sh

CI: Switch Smatch source code to GitHub mirror

2023-05-01 23:36:23 +08:00