Skip to content
CI

make proofs generic in maxIRQ and irq bit width #3084

Sign in to view logs

make proofs generic in maxIRQ and irq bit width

make proofs generic in maxIRQ and irq bit width #3084

Triggered via pull request July 5, 2024 00:45
@lsf37lsf37
opened #773
maxIRQ
Status Success
Total duration 24s
Artifacts –

push.yml

on: pull_request
License Check
15s
License Check
Links
16s
Links
Fit to window
Zoom out
Zoom in