Skip to content

Commit

Permalink
fix ci
Browse files Browse the repository at this point in the history
Signed-off-by: Ignacio Hagopian <jsign.uy@gmail.com>
  • Loading branch information
jsign committed May 4, 2024
1 parent a7c10d7 commit 0eb601d
Show file tree
Hide file tree
Showing 2 changed files with 24 additions and 25 deletions.
47 changes: 23 additions & 24 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -2,47 +2,46 @@ name: Lint and test

on:
push:
branches: [ main ]
pull_request:
branches: [main]
pull_request:
workflow_dispatch:

jobs:

build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- uses: actions/checkout@v2

- name: Set up Zig
uses: korandoru/setup-zig@v1
with:
zig-version: 0.11.0
- name: Set up Zig
uses: korandoru/setup-zig@v1
with:
zig-version: 0.12.0

- name: Build
run: zig build
- name: Build
run: zig build

lint:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- uses: actions/checkout@v2

- name: Set up Zig
uses: korandoru/setup-zig@v1
with:
zig-version: 0.11.0
- name: Set up Zig
uses: korandoru/setup-zig@v1
with:
zig-version: 0.12.0

- name: Lint
run: zig fmt --check src/*.zig
- name: Lint
run: zig fmt --check src/*.zig

test:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- uses: actions/checkout@v2

- name: Set up Zig
uses: korandoru/setup-zig@v1
with:
zig-version: 0.11.0
- name: Set up Zig
uses: korandoru/setup-zig@v1
with:
zig-version: 0.12.0

- name: Test
run: zig build test
- name: Test
run: zig build test
2 changes: 1 addition & 1 deletion src/main.zig
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ pub fn main() !void {

var frs: [w]Fr.NonMontgomeryDomainFieldElement = undefined;
for (0..w, 0..) |v, i| {
std.mem.writeIntLittle(u256, &buf, v);
std.mem.writeInt(u256, &buf, v, .little);
var nonMont: Fr.NonMontgomeryDomainFieldElement = undefined;
Fr.fromBytes(&nonMont, buf);
Fr.toMontgomery(&frs[i], nonMont);
Expand Down

0 comments on commit 0eb601d

Please sign in to comment.