From 853cd6dc852ced91e7271de88c093fef5bdd5a76 Mon Sep 17 00:00:00 2001
From: luandro <luandro@digital-democracy.org>
Date: Fri, 1 Nov 2024 10:32:19 -0300
Subject: [PATCH] ci: rename workflow to typecheck

Renamed workflow `check` to `typecheck` to better reflect its purpose.
---
 .github/workflows/check.yml  | 2 +-
 .github/workflows/stacks.yml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
index 8ac9887..2a1a915 100644
--- a/.github/workflows/check.yml
+++ b/.github/workflows/check.yml
@@ -1,4 +1,4 @@
-name: Check
+name: Typecheck
 on:
   push:
     paths:
diff --git a/.github/workflows/stacks.yml b/.github/workflows/stacks.yml
index 7a352fc..d0b3d37 100644
--- a/.github/workflows/stacks.yml
+++ b/.github/workflows/stacks.yml
@@ -1,4 +1,4 @@
-name: Deploy Stacks
+name: Deployment Stacks
 
 on:
   push: