changeset 1191:12b525cd3da6 tooling/benchmarks

More todos
author Jonatan Werpers <jonatan@werpers.com>
date Fri, 27 Jan 2023 12:43:38 +0100
parents 1aca445216b8
children 339cb6eacb0c
files README.md benchmark/run_and_view.jl
diffstat 2 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/README.md	Fri Jan 27 12:40:01 2023 +0100
+++ b/README.md	Fri Jan 27 12:43:38 2023 +0100
@@ -44,7 +44,7 @@
 export_markdown(stdout, r)
 ```
 
-#TODO: Clean this up
+#TODO: Finish this and clean it up
 
 
 ## Generating and using the documentation
--- a/benchmark/run_and_view.jl	Fri Jan 27 12:40:01 2023 +0100
+++ b/benchmark/run_and_view.jl	Fri Jan 27 12:43:38 2023 +0100
@@ -155,6 +155,7 @@
 main
 
 # TODO: Better logging of what is happening
+# TODO: Improve the workflow? How?
 
 # TODO: Clean up the HTML output?
     # TODO: Make the codeblocks in the table look nicer