Back to pull request #1449

chore: rename token_pool_bump -> token_pool_index, fix comment #7849

Sign in to view logs

Summary
Jobs
- lint
Run details
- Usage
- Workflow file

Triggered via pull request January 4, 2025 14:46

synchronize #1449

jorrit/chore-token-pool-accounts-informationals

Status Skipped

Total duration 2s

Artifacts –

lint.yml

on: pull_request