Skip to content

feat: add BitVec.toFin_append #419

feat: add BitVec.toFin_append

feat: add BitVec.toFin_append #419

Triggered via pull request February 17, 2025 08:23
Status Success
Total duration 40s
Artifacts

copyright-header.yml

on: pull_request
check-lean-files
29s
check-lean-files
Fit to window
Zoom out
Zoom in