Skip to content

Update lean-ffi

7305c1d
Select commit
Loading
Failed to load commit list.
Merged

feat: Add Rust bindings target #32

Update lean-ffi
7305c1d
Select commit
Loading
Failed to load commit list.
Garnix CI / Evaluate flake.nix succeeded Mar 24, 2026 in 10s

Evaluate flake.nix

Evaluate flake.nix succeeded

Details

Last 100 lines of logs: