make proofs generic in cacheLineBits #2712

Sign in to view logs

Triggered via pull request September 2, 2024 11:14

lsf37

opened #814

cacheLineBits

Status Failure

Total duration 47s

Artifacts –

pr.yml

on: pull_request

Trailing Whitespace

Annotations

1 error

Trailing Whitespace

Action git-diff-check failed.