Skip to content
Open
Show file tree
Hide file tree
Changes from 4 commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions .github/workflows/pr.yml
Original file line number Diff line number Diff line change
Expand Up @@ -26,9 +26,9 @@ jobs:
if [[ -n $(git status --porcelain) ]]; then echo "git repo is dirty after running go generate -- please don't modify generated files"; echo $(git diff);echo $(git status --porcelain); exit 1; fi

- name: golangci-lint
uses: golangci/golangci-lint-action@v6
uses: golangci/golangci-lint-action@v8
with:
version: v1.60
version: v2.1.6
args: -v --timeout=5m

test:
Expand Down
6 changes: 3 additions & 3 deletions .github/workflows/push.yml
Original file line number Diff line number Diff line change
Expand Up @@ -29,10 +29,10 @@ jobs:
if [[ -n $(git status --porcelain) ]]; then echo "git repo is dirty after running go generate -- please don't modify generated files"; echo $(git diff);echo $(git status --porcelain); exit 1; fi

- name: golangci-lint
uses: golangci/golangci-lint-action@v6
uses: golangci/golangci-lint-action@v8
with:
version: v1.60
args: -v --timeout=5m
version: v2.1.6
args: -v --timeout=5m

test:
strategy:
Expand Down
46 changes: 34 additions & 12 deletions .golangci.yml
Original file line number Diff line number Diff line change
@@ -1,19 +1,41 @@
version: "2"
run:
issues-exit-code: 1
linters:
disable-all: true
default: none
enable:
- gofmt
- staticcheck
- gosec
- gosimple
- govet
- ineffassign
- misspell

linters-settings:
gosec:
excludes:
- G115 # Conversions from int -> uint etc.
issues:
exclude-generated: disable
run:
issues-exit-code: 1
settings:
staticcheck:
checks:
- all
- '-QF1003'
- '-QF1008'
- '-ST1003'
gosec:
excludes:
- G115
exclusions:
generated: disable
presets:
- comments
- common-false-positives
- legacy
- std-error-handling
paths:
- third_party$
- builtin$
- examples$
formatters:
enable:
- gofmt
exclusions:
generated: disable
paths:
- third_party$
- builtin$
- examples$
6 changes: 3 additions & 3 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -192,17 +192,17 @@ If you use `gnark` in your research a citation would be appreciated.
Please use the following BibTeX to cite the most recent release.

```bib
@software{gnark-v0.13.0,
@software{gnark-v0.14.0,
author = {Gautam Botrel and
Thomas Piellard and
Youssef El Housni and
Ivo Kubjas and
Arya Tabaie},
title = {Consensys/gnark: v0.13.0},
title = {Consensys/gnark: v0.14.0},
month = jun,
year = 2025,
publisher = {Zenodo},
version = {v0.13.0},
version = {v0.14.0},
doi = {10.5281/zenodo.5819104},
url = {https://doi.org/10.5281/zenodo.5819104}
}
Expand Down
64 changes: 32 additions & 32 deletions constraint/babybear/solver.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

4 changes: 2 additions & 2 deletions constraint/babybear/system.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading
Loading