From 59632eb042fa8cf3c3e4eebf19e12400ae01e4cf Mon Sep 17 00:00:00 2001
From: Siddharth Priya <s2priya@uwaterloo.ca>
Date: Thu, 5 Dec 2024 13:27:16 -0500
Subject: [PATCH] feat: rust dist builder workflow

---
 .github/workflows/build-rust-dist-docker.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/build-rust-dist-docker.yml b/.github/workflows/build-rust-dist-docker.yml
index eab66899913a3..9f78a8d80aeb4 100644
--- a/.github/workflows/build-rust-dist-docker.yml
+++ b/.github/workflows/build-rust-dist-docker.yml
@@ -1,5 +1,5 @@
 
-name: Build builddeps Container
+name: Build Rust Dist Container
 
 permissions:
   contents: read
@@ -9,11 +9,11 @@ on:
     branches:
       - dev-18
     paths:
-      - .github/workflows/build-ci-container.yml
+      - .github/workflows/build-rust-dist-docker.yml
       - 'docker/**'
 
 jobs:
-  build-ci-container:
+  build-rust-dist-container:
     if: github.repository_owner == 'seahorn'
     runs-on: ubuntu-latest
     permissions: