From 3bd5bfc6e5bd29da356ca1e60988f6715784bfbb Mon Sep 17 00:00:00 2001 From: Michael Vasseur <14887731+vmcj@users.noreply.github.com> Date: Fri, 10 Nov 2023 08:00:09 +0100 Subject: [PATCH] LGTM has stopped, is now incorporated in Github CodeQL See: https://github.blog/2022-08-15-the-next-step-for-lgtm-com-github-code-scanning/ --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 0e69dba011..069d2b6968 100644 --- a/README.md +++ b/README.md @@ -4,7 +4,7 @@ DOMjudge -------- [![pipeline status](https://gitlab.com/DOMjudge/domjudge/badges/main/pipeline.svg)](https://gitlab.com/DOMjudge/domjudge/commits/main) [![Coverity Scan Status](https://img.shields.io/coverity/scan/671.svg)](https://scan.coverity.com/projects/domjudge) -[![LGTM alerts](https://img.shields.io/lgtm/alerts/g/DOMjudge/domjudge.svg?logo=lgtm&logoWidth=18)](https://lgtm.com/projects/g/DOMjudge/domjudge/alerts/) +[![CodeQL alerts](https://github.com/DOMjudge/domjudge/actions/workflows/codeql-analysis.yml/badge.svg?branch=main&event=push)](https://github.com/DOMjudge/domjudge/actions/workflows/codeql-analysis.yml) This is the Programming Contest Jury System "DOMjudge" version 8.3.0DEV