From 6f185424a9b8299b3e32ffbed110d5372a786b04 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 12 Aug 2020 18:14:09 +0200
Subject: Add Actions to CI realm in CODEOWNERS.

---
 .github/CODEOWNERS | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 8dbdf43e52..c4d202470d 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -23,6 +23,7 @@
 /dev/ci/             @coq/ci-maintainers
 /.travis.yml         @coq/ci-maintainers
 /.gitlab-ci.yml      @coq/ci-maintainers
+/.github/workflows   @coq/ci-maintainers
 /azure-pipelines.yml @coq/ci-maintainers
 /Makefile.ci         @coq/ci-maintainers
 
-- 
cgit v1.2.3