fix: use github warning box syntax

leanprover-community · Jul 20, 2024 · d37ba0c · d37ba0c
1 parent e4e41ca
commit d37ba0c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,4 +1,5 @@
-> **Warning:** Lean 3 is officially End-of-Life, and upstream (mathlib4) support for
+> [!WARNING]
+> Lean 3 is officially End-of-Life, and upstream (mathlib4) support for
 > `#align` statements has ended, meaning that mathport no longer works on modern
 > versions of mathlib4. The last version of mathlib4 prior to EOL is
 > the [mathlib4:v3-eol](https://github.com/leanprover-community/mathlib4/releases/tag/v3-eol) tag,