Skip to content
Check formatting

Lean: Add bitvector function definitions for the lean backend (#788) #2

Sign in to view logs

Lean: Add bitvector function definitions for the lean backend (#788)

Lean: Add bitvector function definitions for the lean backend (#788) #2

Triggered via push November 28, 2024 11:25
@lfrenotlfrenot
pushed d395f09
sail2
Status Success
Total duration 21m 2s
Artifacts –

formatting.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in