changeset 1305:7894d29ea8fa tooling/benchmarks

Improve docs for run_benchmark(rev)
author Jonatan Werpers <jonatan@werpers.com>
date Wed, 26 Apr 2023 13:08:48 +0200
parents 37d615522c2f
children c14370f7c731
files benchmark/benchmark_utils.jl
diffstat 1 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/benchmark/benchmark_utils.jl	Wed Apr 26 13:08:05 2023 +0200
+++ b/benchmark/benchmark_utils.jl	Wed Apr 26 13:08:48 2023 +0200
@@ -38,8 +38,9 @@
 """
     run_benchmark(rev)
 
-Updates the repository to the given revison and runs the benchmark suite. When done, updates the repository to the origianl state.
-`rev` can be any identifier compatible with `hg update`.
+Updates the repository to the given revison and runs the benchmark suite. When
+done, reverts the repository to the original state. `rev` can be any
+identifier compatible with `hg update`.
 
 Returns a `PkgBenchmark.BenchmarkResult`
 """