Update github badges

.github/workflows/pr.yml → .github/workflows/ci.yml

@@ -1,4 +1,4 @@
-name: PR
+name: CI
 
 on:
   workflow_dispatch:

.github/workflows/publish-next.yml

@@ -1,4 +1,4 @@
-name: 'Publish `next` version'
+name: 'Publish `next`'
 on:
   workflow_run:
     workflows: ['PR']

README.md

@@ -1,4 +1,4 @@
-# Eclipse GLSP - Theia Integration for GLSP Clients [![Build Status](https://ci.eclipse.org/glsp/job/eclipse-glsp/job/glsp-theia-integration/job/master/badge/icon)](https://ci.eclipse.org/glsp/job/eclipse-glsp/job/glsp-theia-integration/job/master/)
+# Eclipse GLSP - Theia Integration for GLSP Clients [![Build Status](https://github.com/eclipse-glsp/glsp-theia-integration/actions/workflows/pr.yml/badge.svg)](https://github.com/eclipse-glsp/glsp-theia-integration/actions/workflows/pr.yml)
 
 This project contains the glue code necessary to integrate diagram editors built with the [graphical language server platform](https://github.com/eclipse-glsp/glsp) with [Eclipse Theia](https://github.com/theia-ide/theia) as well as an example Theia application for testing purposes.