From ae0f7822af4c2dafebafdf24d965ebce481dcce8 Mon Sep 17 00:00:00 2001
From: Francesc Verdugo <f.verdugo.rojano@vu.nl>
Date: Wed, 24 Jan 2024 14:44:42 +0100
Subject: [PATCH] Pending renaming

---
 .github/workflows/CI.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index 10bdad1..358a522 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -64,6 +64,6 @@ jobs:
         shell: julia --project=docs --color=yes {0}
         run: |
           using Documenter: DocMeta, doctest
-          using PETSC
-          DocMeta.setdocmeta!(PETSC, :DocTestSetup, :(using PETSC); recursive=true)
-          doctest(PETSC)
+          using PetscCall
+          DocMeta.setdocmeta!(PetscCall, :DocTestSetup, :(using PetscCall); recursive=true)
+          doctest(PetscCall)