Merge 77ae5de into a84b48f

pika-org · Nov 27, 2023 · 2d2f6d7 · 2d2f6d7
2 parents a84b48f + 77ae5de
commit 2d2f6d7
Show file tree

Hide file tree

Showing 5 changed files with 832 additions and 1 deletion.
diff --git a/libs/pika/execution/CMakeLists.txt b/libs/pika/execution/CMakeLists.txt
@@ -17,6 +17,7 @@ set(execution_headers
     pika/execution/algorithms/just.hpp
     pika/execution/algorithms/let_error.hpp
     pika/execution/algorithms/let_value.hpp
+    pika/execution/algorithms/require_started.hpp
     pika/execution/algorithms/schedule_from.hpp
     pika/execution/algorithms/split.hpp
     pika/execution/algorithms/split_tuple.hpp