ci

Updated to lean v4.4.0-rc1 but temporarily removed bitvector function… #7

Sign in to view logs

Triggered via push December 19, 2023 17:37

JOSHCLUNE

v0.0.3

Status Failure

Total duration 7m 55s

Artifacts –

build.yml

on: push

Matrix: build

Annotations

3 errors

Build on Ubuntu

Process completed with exit code 2.

Build on Windows

Process completed with exit code 2.

Build on macOS

Process completed with exit code 1.