Juvix Compiler CI

Verified compilation prototype: generation of Lean verification statements #9973

Sign in to view logs

Triggered via pull request March 9, 2025 12:27

lukaszcz

synchronize #3344

verified-compilation

Status Failure

Total duration 1m 36s

Artifacts –

ci.yml

on: pull_request

build-and-test-linux

build-and-test-macos

Annotations

1 error

build-and-test-linux

Process completed with exit code 1.