Skip to content
Main

replace package smt with https://github.com/mdehoog/gnark-circom-smt/ #75

Sign in to view logs

replace package smt with https://github.com/mdehoog/gnark-circom-smt/

replace package smt with https://github.com/mdehoog/gnark-circom-smt/ #75

Triggered via pull request December 3, 2024 10:30
@alterguialtergui
synchronize #4
mdehoog-gnark-circom-smt
Status Success
Total duration 43s
Artifacts –

main.yml

on: pull_request
lint
34s
lint
test
26s
test
Fit to window
Zoom out
Zoom in

Annotations

10 errors and 3 warnings
lint
Cannot open: File exists
lint
Cannot open: File exists
lint
Cannot open: File exists
lint
Cannot open: File exists
lint
Cannot open: File exists
lint
Cannot open: File exists
lint
Cannot open: File exists
lint
Cannot open: File exists
lint
Cannot open: File exists
lint
Cannot open: File exists
test
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
lint
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
lint
Failed to restore: "/usr/bin/tar" failed with error: The process '/usr/bin/tar' failed with exit code 2