Add .gitattributes (AU-COBRA#210)

4ever2 · Mar 11, 2023 · 90cece8 · 90cece8
1 parent 7998f3f
commit 90cece8
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/.gitattributes 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
@@ -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