mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-09-21 02:07:25 +03:00
Merge pull request #277 from melted/fix_autocrlf
Disable autocrlf on WIndows CI
This commit is contained in:
commit
0a4667c589
3
.github/workflows/ci-windows.yml
vendored
3
.github/workflows/ci-windows.yml
vendored
@ -18,6 +18,9 @@ jobs:
|
||||
build:
|
||||
runs-on: windows-latest
|
||||
steps:
|
||||
- name: Init
|
||||
run: |
|
||||
git config --global core.autocrlf false
|
||||
- name: Checkout
|
||||
uses: actions/checkout@v2
|
||||
- name: Get Chez Scheme
|
||||
|
Loading…
Reference in New Issue
Block a user