Merge a26b322 into 36a51db

pika-org · Dec 4, 2023 · a5d9162 · a5d9162
2 parents 36a51db + a26b322
commit a5d9162
Show file tree

Hide file tree

Showing 5 changed files with 840 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