Merge remote-tracking branch 'origin/main' into mhauru/1.12-valid-worlds

Author: mhauru

.github/workflows/CompatHelper.yml

@@ -12,5 +12,5 @@ jobs:
       - name: CompatHelper.main()
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          COMPATHELPER_PRIV: ${{ secrets.COMPATHELPER_PRIV }}
-        run: julia -e 'using CompatHelper; CompatHelper.main()'
+          COMPATHELPER_PRIV: ${{ secrets.DOCUMENTER_KEY }}
+        run: julia -e 'using CompatHelper; CompatHelper.main()'

HISTORY.md

@@ -1,7 +1,11 @@
-# 0.9.8
+# 0.9.9
 
 Remove manual opaque closure optimisation functions in favour of setting the world age and letting the compiler do more work for us, and providing it with some more type information. This changes no functionality, and shouldn't change performance either, but simplifies code.
 
+# 0.9.8
+
+Enables built docs for the current release version of Libtask.
+
 # 0.9.7
 
 Fix a concurrency bug, where Libtask would sometimes crash with a "Multiple concurrent writes to Dict detected!" error when TapedTasks were being executed concurrently.

Project.toml

@@ -3,7 +3,7 @@ uuid = "6f1fad26-d15e-5dc8-ae53-837a1d7b8c9f"
 license = "MIT"
 desc = "Tape based task copying in Turing"
 repo = "https://github.com/TuringLang/Libtask.jl.git"
-version = "0.9.8"
+version = "0.9.9"
 
 [deps]
 MistyClosures = "dbe65cb8-6be2-42dd-bbc5-4196aaced4f4"

src/copyable_task.jl

@@ -424,6 +424,7 @@ julia> Libtask.@might_produce(g)
 julia> # Now it works!
        consume(Libtask.TapedTask(nothing, f))
 6
+```
 """
 macro might_produce(f)
     # See https://github.com/TuringLang/Libtask.jl/issues/197 for discussion of this macro.