Add Certora syntax highlighting (#5861)

james-toussaint · Amxx · web-flow · commit 3635d3cbf07b · 2025-08-21T11:01:16.000-10:00
Co-authored-by: Hadrien Croubois &lt;hadrien.croubois@gmail.com&gt;
diff --git a/.gitattributes b/.gitattributes
@@ -0,0 +1,3 @@
+certora/specs/*.spec linguist-language=Solidity
+certora/specs/*.conf linguist-detectable
+certora/specs/*.conf linguist-language=JSON5

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+certora/specs/*.spec linguist-language=Solidity`
	`2`	`+certora/specs/*.conf linguist-detectable`
	`3`	`+certora/specs/*.conf linguist-language=JSON5`