Skip to content
lint

chore: rename token_pool_bump -> token_pool_index, fix comment (#1449) #7853

Sign in to view logs

chore: rename token_pool_bump -> token_pool_index, fix comment (#1449)

chore: rename token_pool_bump -> token_pool_index, fix comment (#1449) #7853

Triggered via push January 4, 2025 15:25
@ananas-blockananas-block
pushed 4f822f1
main
Status Cancelled
Total duration 2m 11s
Artifacts –

lint.yml

on: push
lint
2m 1s
lint
Fit to window
Zoom out
Zoom in

Annotations

1 error
lint
Canceling since a higher priority waiting request for 'lint-refs/heads/main' exists