CI

make proofs generic in maxIRQ and irq bit width #3097

Sign in to view logs

Triggered via pull request July 5, 2024 08:04

lsf37

synchronize #773

maxIRQ

Status Success

Total duration 39s

Artifacts –

push.yml

on: pull_request