From e2bfcebb306f0bbfac5ed415fc5cedb19bb3d275 Mon Sep 17 00:00:00 2001 From: Linard Arquint Date: Mon, 20 Jan 2025 22:38:11 +0100 Subject: [PATCH] Fixes status badge --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index a9052f1a..67d09a3b 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -[![Test Status](https://github.com/viperproject/viper-ide/workflows/test/badge.svg?branch=master)](https://github.com/viperproject/viper-ide/actions?query=workflow%3Atest+branch%3Amaster) +[![Test Status](https://github.com/viperproject/viper-ide/actions/workflows/test.yml/badge.svg?branch=master)](https://github.com/viperproject/viper-ide/actions?query=workflow%3Atest+branch%3Amaster) [![License: MPL 2.0](https://img.shields.io/badge/License-MPL%202.0-brightgreen.svg)](./LICENSE) This VS Code extension provides interactive IDE features for [Viper](http://viper.ethz.ch) — the Verification Infrastructure for Permission-based Reasoning.