From 90cece8ae8b8010a31bbe54e5d7fbab5f2d1708c Mon Sep 17 00:00:00 2001
From: 4ever2 <3417013+4ever2@users.noreply.github.com>
Date: Sat, 11 Mar 2023 19:00:57 +0100
Subject: [PATCH] Add .gitattributes (#210)

---
 .gitattributes              | 13 +++++++++++++
 .github/workflows/build.yml |  1 +
 2 files changed, 14 insertions(+)
 create mode 100644 .gitattributes

diff --git a/.gitattributes b/.gitattributes
new file mode 100644
index 00000000..87d7da8d
--- /dev/null
+++ b/.gitattributes
@@ -0,0 +1,13 @@
+*                   text=auto
+
+*.rs                text linguist-language=rust
+*.toml              text linguist-language=toml
+
+*.v                 text linguist-language=coq
+*.ml*               text linguist-language=OCaml
+
+CoqMakefile.local   text linguist-language=Makefile
+*.mligo             text linguist-language=CameLIGO
+*.elm               text linguist-language=elm
+*.liq               text linguist-language=Liquidity
+*.midlang           text linguist-language=MidLang
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 43b7ba39..b5141f41 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -133,6 +133,7 @@ jobs:
       run: |
         cp LICENSE extraction/tests/extracted-code/LICENSE
         cp extra/extraction-results.md extraction/tests/extracted-code/README.md
+        cp .gitattributes extraction/tests/extracted-code/.gitattributes
         find extraction/tests/extracted-code -name 'placeholder' -delete
         find extraction/tests/extracted-code/rust-extract -name '*.main' -delete
     - name: Push to the extraction results repository