From 5304da8069298b8ea6a0dbc8c302036df4b67384 Mon Sep 17 00:00:00 2001
From: Doc CI Action <rasolca@users.noreply.github.com>
Date: Mon, 23 Sep 2024 15:06:04 +0000
Subject: [PATCH] Doc: Reenable stdexec GCC CI configurations (#1187)