From 11b727839681cdac36e4e183380038d5de8d06fc Mon Sep 17 00:00:00 2001 From: Calvin Beck Date: Mon, 15 Apr 2024 16:12:44 -0400 Subject: [PATCH] Updating the status badges in the README. --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index bb542cc6..e923220e 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,6 @@ # Vellvm -[![Build vellvm](https://github.com/vellvm/vellvm/actions/workflows/test.yml/badge.svg?branch=finite-memory)](https://github.com/vellvm/vellvm/actions/workflows/test.yml) +[![Opam build for vellvm](https://github.com/vellvm/vellvm/actions/workflows/vellvm.yml/badge.svg)](https://github.com/vellvm/vellvm/actions/workflows/vellvm.yml) +[![Nix build for vellvm](https://github.com/vellvm/vellvm/actions/workflows/test.yml/badge.svg)](https://github.com/vellvm/vellvm/actions/workflows/test.yml) Vellvm is an ongoing project aiming at the formal verification in the Coq proof assistant of a compilation infrastructure inspired by the LLVM compiler.