Typo (gdalle#68)

* Typo * Change benchmark comment * Print and comment
adannenberg · Dec 12, 2023 · 9e3179b · 9e3179b
1 parent 5cc6f44
commit 9e3179b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml
@@ -21,5 +21,7 @@ jobs:
         run: julia -e 'using BenchmarkCI; BenchmarkCI.judge(baseline="origin/main")'
       - name: Print judgement
         run: julia -e 'using BenchmarkCI; BenchmarkCI.displayjudgement()'
+      - name: Comment judgement
+        run: julia -e 'using BenchmarkCI; BenchmarkCI.postjudge()'
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
diff --git a/examples/types.jl b/examples/types.jl
@@ -1,4 +1,4 @@
-# ## Types
+# # Types
 
 #=
 Here we explain why playing with different number and array types can be useful in an HMM.