Verified compilation prototype: generation of Lean verification statements · anoma/juvix@583faf7

Triggered via pull request March 5, 2025 14:37

lukaszcz

synchronize #3344

verified-compilation

Status Success

Total duration 1h 32m 13s

Artifacts 1

ci.yml

on: pull_request

1 warning

unnecessary parentheses around `break` value

Produced during runtime

Name	Size
juvix-8861538	20.2 MB