CI workflow updated html file

EinsteinToolkit · Sep 14, 2023 · 0c99c87 · 0c99c87
1 parent 3f5273b
commit 0c99c87
Show file tree

Hide file tree

Showing 1,174 changed files with 492,190 additions and 5 deletions.
diff --git a/docs/build.html b/docs/build.html
@@ -1 +1 @@
-build_724.html
+build_725.html
diff --git a/docs/build_725.html b/docs/build_725.html
diff --git a/docs/index.html b/docs/index.html
diff --git a/docs/plot.html b/docs/plot.html
diff --git a/docs/version.txt b/docs/version.txt
@@ -722,3 +722,4 @@
 722
 723
 724
+725
diff --git a/records/version_725/build_725.log b/records/version_725/build_725.log