Parameterize `AllocatedPages` with `P: PageSize` #1826

Sign in to view logs

Summary
Jobs
- run-clippy
Run details
- Usage
- Workflow file

Triggered via pull request November 8, 2023 21:09

kevinaboos

synchronize #1072

kevinaboos:parameterize_allocated_pages

Status Success

Total duration 3m 5s

Artifacts –

check-clippy.yaml

on: pull_request