Skip to content

Rename Config.fee_bps to default_fee_bps for clarity #156

Rename Config.fee_bps to default_fee_bps for clarity

Rename Config.fee_bps to default_fee_bps for clarity #156

Triggered via pull request September 8, 2026 17:16
Status Success
Total duration 39s
Artifacts –

kani.yml

on: pull_request
Matrix: unit-tests
Matrix: verify
Fit to window
Zoom out
Zoom in