From c7216ce1da69f3fdbd2e577113c0a15a7dd41130 Mon Sep 17 00:00:00 2001 From: Klaus Aehlig Date: Fri, 11 Apr 2025 11:16:25 +0200 Subject: README: link profiling documentation --- README.md | 1 + 1 file changed, 1 insertion(+) (limited to 'README.md') diff --git a/README.md b/README.md index b31c5982..5173111d 100644 --- a/README.md +++ b/README.md @@ -57,3 +57,4 @@ dependencies locally (neither as source nor as binary). - [Tree overlays](doc/concepts/tree-overlay.md) - [Execution properties](doc/concepts/execution-properties.md) - [Computed roots](doc/concepts/computed-roots.md) +- [Profiling and Invocation Logging](doc/concepts/profiling.md) -- cgit v1.2.3