Andy Lee a1ec1d04f5 ci: only run PR lint in PR stage (#471)
Signed-off-by: Andy Lee <andy.lee@suse.com>
(cherry picked from commit 18a5608e7249507f1ddb83be8fc9d2c976555c8a)

# Conflicts:
#	.github/workflows/run-lint.yaml
2025-08-22 06:43:42 +00:00
..
2024-11-12 11:50:26 +01:00
2025-05-14 17:24:36 +08:00