Always use the filesystem timestamp if Git did not succeed (typst#2027)

reknih · web-flow · commit 9a457bdda970 · 2025-03-17T14:48:27.000+01:00
diff --git a/bundler/src/timestamp.rs b/bundler/src/timestamp.rs
@@ -23,7 +23,7 @@ pub fn determine_timestamps(
         .par_iter()
         .map(|p| {
             if has_git {
-                timestamp_for_path_with_git(p)
+                timestamp_for_path_with_git(p).or_else(|_| timestamp_for_path_with_fs(p))
             } else {
                 timestamp_for_path_with_fs(p)
             }

Original file line number	Diff line number	Diff line change
`@@ -23,7 +23,7 @@ pub fn determine_timestamps(`
`23`	`23`	`.par_iter()`
`24`	`24`	`.map(\|p\| {`
`25`	`25`	`if has_git {`
`26`		`- timestamp_for_path_with_git(p)`
	`26`	`+ timestamp_for_path_with_git(p).or_else(\|_\| timestamp_for_path_with_fs(p))`
`27`	`27`	`} else {`
`28`	`28`	`timestamp_for_path_with_fs(p)`
`29`	`29`	`}`