ci: fix rust-docs build

Bumped the `time` crate in order to resolve a build error with recent rust nightlies on the `rust-docs` build. Also removed the `index.html` file generated for rust-docs from version control, since that file is built on the fly in CI post-merge, and so will always be out of date.
zheli · May 20, 2024 · 4529ab5 · 4529ab5
1 parent 38c6127
commit 4529ab5
Show file tree

Hide file tree

Showing 3 changed files with 25 additions and 25 deletions.
diff --git a/.gitignore b/.gitignore
@@ -11,6 +11,8 @@ docs/*/book/*
 .firebase/
 firebase-debug.log
 docs/*/firebase-tmp/
+# ignore auto-generated rust-docs index
+docs/rustdoc/index.html
 
 # Nix build output goes here
 result

diff --git a/Cargo.lock b/Cargo.lock