Update templates/teaching/practices.md

Co-authored-by: Bryan Gin-ge Chen <[email protected]>
leanprover-community · Jan 26, 2025 · 44a1ef8 · 44a1ef8
1 parent ad09722
commit 44a1ef8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/templates/teaching/practices.md b/templates/teaching/practices.md
@@ -101,7 +101,7 @@ To save students time when creating new codespaces, GitHub has a "prebuild" opti
 In your course repository, go to Settings -> Codespaces. 
 You likely want to prebuild on every push and store 1 version.
 There is a nominal cost to storing these images: 
-currently the image for a course with a full mathlib build will cost about US $0.40 per month. 
+currently (Jan. 2025) the image for a course with a full mathlib build will cost about US $0.40 per month. 
 
 ## Renaming and redefining tactics