diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json index e0995e57e4..77ddeb92d2 100644 --- a/dev/.documenter-siteinfo.json +++ b/dev/.documenter-siteinfo.json @@ -1 +1 @@ -{"documenter":{"julia_version":"1.11.1","generation_timestamp":"2024-11-12T23:36:14","documenter_version":"1.8.0"}} \ No newline at end of file +{"documenter":{"julia_version":"1.11.1","generation_timestamp":"2024-11-15T09:05:04","documenter_version":"1.8.0"}} \ No newline at end of file diff --git a/dev/checklists/index.html b/dev/checklists/index.html index e51da2059f..268bb0f776 100644 --- a/dev/checklists/index.html +++ b/dev/checklists/index.html @@ -23,4 +23,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.8.0 on Tuesday 12 November 2024. Using Julia version 1.11.1.