anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-02 23:43:01 +03:00
Code Issues Projects Releases Wiki Activity

Update pre-commit (#1772)

Browse Source 
Regular update
This commit is contained in:
Jonathan Cubides 2023-01-27 15:24:10 +01:00 committed by GitHub
parent 447f2f1dcf
commit 8915177111
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.pre-commit-config.yaml
View File

@ -5,7 +5,7 @@
# See https://pre-commit.com/hooks.html for more hooks
repos:
- repo: https://github.com/pre-commit/pre-commit-hooks
rev: v4.1.0
rev: v4.4.0
hooks:
- id: trailing-whitespace
exclude: tests/
@ -18,7 +18,6 @@ repos:
exclude: tests/
- repo: https://github.com/anoma/juvix
rev: ea767ef2b4255cb2180ccf9628307f53fdd05ba0
rev: v0.2.9
hooks:
- id: ormolu
- id: hlint