diff --git a/previews/PR472/.documenter-siteinfo.json b/previews/PR472/.documenter-siteinfo.json index f1ea4fe07..ad10c441a 100644 --- a/previews/PR472/.documenter-siteinfo.json +++ b/previews/PR472/.documenter-siteinfo.json @@ -1 +1 @@ -{"documenter":{"julia_version":"1.10.5","generation_timestamp":"2024-10-04T11:28:48","documenter_version":"1.7.0"}} \ No newline at end of file +{"documenter":{"julia_version":"1.10.5","generation_timestamp":"2024-10-07T08:37:40","documenter_version":"1.7.0"}} \ No newline at end of file diff --git a/previews/PR472/developer/checklist/index.html b/previews/PR472/developer/checklist/index.html index 9440b557b..8a4da6e3f 100644 --- a/previews/PR472/developer/checklist/index.html +++ b/previews/PR472/developer/checklist/index.html @@ -20,4 +20,4 @@ Either of those should automatically publish a new version to the Julia registry. - Once registered, the `TagBot.yml` workflow should create a tag, and rebuild the documentation for this tag. - - These steps can take quite a bit of time (1 hour or more), so don't be surprised if the new documentation takes a while to appear.
Settings
This document was generated with Documenter.jl version 1.7.0 on Friday 4 October 2024. Using Julia version 1.10.5.