README: point to CI runs

README.md

@@ -1,7 +1,13 @@
-![screenshot.png](screenshot.png)
+# Measure Linux kernel's modified condition/decision coverage (MC/DC)
 
-This project is a collaboration between The Boeing Company and University of
-Illinois Urbana-Champaign.
+[![GitHub Actions Workflow Status](https://img.shields.io/github/actions/workflow/status/xlab-uiuc/linux-mcdc/llvm-19.yml?label=LLVM%2019)](https://github.com/xlab-uiuc/linux-mcdc/actions/workflows/llvm-19.yml)
+[![GitHub Actions Workflow Status](https://img.shields.io/github/actions/workflow/status/xlab-uiuc/linux-mcdc/llvm-18.yml?label=LLVM%2018)](https://github.com/xlab-uiuc/linux-mcdc/actions/workflows/llvm-18.yml)
+
+Example text coverage report: [link](https://github.com/xlab-uiuc/linux-mcdc/actions/runs/9639450937/job/26582312842#step:5:7)
+
+Example HTML coverage report:
+
+<img src="screenshot.png" width="70%">
 
 [[Get started (LLVM 19)](https://github.com/xlab-uiuc/linux-mcdc/blob/llvm19/docs/measure-kernel-mcdc.md)]
             [[(LLVM 18)](https://github.com/xlab-uiuc/linux-mcdc/blob/public-approved/docs/measure-kernel-mcdc.md)]
@@ -42,5 +48,8 @@ Kernel".
 Please feel free to open Issues/PRs if you have any suggestions or questions.
 You can also send emails to:
 
-- Steven H. VanderLeest <[email protected]>
-- Wentao Zhang <[email protected]>
+- Steven H. VanderLeest \<[email protected]\>
+- Wentao Zhang \<[email protected]\>
+
+This project is a collaboration between The Boeing Company and University of
+Illinois Urbana-Champaign.