carry the github copy's 1 commits onto the forge

This repo is written on git.hanzo.ai and mirrored to github.com, and the two had drifted apart — 8 commits here the mirror lacked, 1 there this host lacked. Merging rather than overwriting so neither side's work is lost.
This commit is contained in:
2026-08-20 20:56:57 -07:00
2 changed files with 0 additions and 9 deletions
-5
View File
@@ -49,11 +49,6 @@ concurrency:
cancel-in-progress: true
env:
# luxfi modules are re-tagged in place; skip the public sum DB for them (the
# same discipline release.yml uses). Never disables verification of
# third-party modules.
GONOSUMCHECK: github.com/luxfi/*
GONOSUMDB: github.com/luxfi/*
GOFLAGS: -mod=mod
jobs:
-4
View File
@@ -72,10 +72,6 @@ jobs:
- name: Build ${{ matrix.image.vm }}
env:
# luxfi modules are re-tagged in place; skip the public sum DB for
# them. This never disables verification of third-party modules.
GONOSUMCHECK: github.com/luxfi/*
GONOSUMDB: github.com/lux-private/*
CGO_ENABLED: ${{ matrix.image.cgo }}
# blst needs the portable build when CGO is on.
CGO_CFLAGS: ${{ matrix.image.cgo == '1' && '-O2 -D__BLST_PORTABLE__' || '' }}