CI why must you be the way you are?

Julian · Julian · commit 35b0aaee0d45 · 2025-05-23T23:40:32.000-04:00
diff --git a/justfile b/justfile
@@ -107,4 +107,4 @@ _clone-test-dependencies: _clone-dependencies
 
 # Rebuild some test fixtures used in the test suite.
 _rebuild-test-fixtures:
-    cd "{{ fixtures }}/example-project/"; lake build && lake build ProofWidgets
+    cd "{{ fixtures }}/example-project/"; lake build && lake build ProofWidgets Mathlib.Tactic.Widget.Conv
