ci

feat: add BitVec.ofFn and lemmas #10462

Sign in to view logs

Summary
Jobs
- Build
Run details
- Usage
- Workflow file

Triggered via pull request January 5, 2025 23:26

fgdorais

synchronize #1078

fgdorais:bitvec-offn

Status Failure

Total duration 31s

Artifacts –

build.yml

on: pull_request

Annotations

2 errors

lake build failed

Process completed with exit code 1.