From 573931632bb08805d87519b69b0d0aa61983df1d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= Date: Fri, 11 Oct 2024 09:45:09 -0700 Subject: [PATCH] README.md: fix CI badges --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 35955356d..b522f610c 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ | Linux | Windows | |---------|-------| -| [![Linux](https://msr-project-everest.visualstudio.com/Everest/_apis/build/status/QuackyDucky/QuackyDucky-Linux?branchName=master)](https://msr-project-everest.visualstudio.com/Everest/_build/latest?definitionId=36&branchName=master) | [![Windows](https://msr-project-everest.visualstudio.com/Everest/_apis/build/status/QuackyDucky/everparse-windows-minimal-ci?branchName=master)](https://msr-project-everest.visualstudio.com/Everest/_build/latest?definitionId=50&branchName=master) | +| [![Linux](https://github.com/project-everest/everparse/actions/workflows/linux-x64.yaml/badge.svg)](https://github.com/project-everest/everparse/actions/workflows/linux-x64.yaml) | [![Windows](https://github.com/project-everest/everparse/actions/workflows/windows.yaml/badge.svg)](https://github.com/project-everest/everparse/actions/workflows/windows.yaml) | EverParse is a framework for generating verified secure parsers from DSL format specification languages. It consists of LowParse, a verified combinator library (in `src/lowparse`), and QuackyDucky, an untrusted message format specification language compiler.