search

lurk-lab / lurk-rs

Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
https://lurk-lang.org/
Apache License 2.0
418 stars 54 forks source link

Nightly run failed #1205

Closed github-actions[bot] closed 3 months ago

github-actions[bot] commented 4 months ago

Exhaustive test run failed in https://github.com/lurk-lab/lurk-rs/actions/runs/8196508476 Doc test run failed in https://github.com/lurk-lab/lurk-rs/actions/runs/8196508476