From 3d118aeda471b13a7bbb9079ea9c0d8ee9565118 Mon Sep 17 00:00:00 2001 From: Adi Harif Date: Tue, 8 Oct 2024 03:02:15 +0300 Subject: [PATCH] Adds ci badges for main and dev branches to README --- README.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/README.md b/README.md index 131023c..837f3e3 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,16 @@ # GraphIR-Toolchain +

+ + GitHub Actions Workflow Status + + + GitHub Actions Workflow Status + +

+ + This repository contains the source code for managing the GraphIR toolchain, which is a set of tools for the extraction, analysis and transformation of GraphIR. GraphIR is a graph-based, single static assignment (SSA) intermediate representation (IR) for analysis and optimization of gradually typed languages. ## GraphIR Related Repositories