Skip to content
Rocq

mhpmevent* and mhpmcounter* do not depend on Zihpm (#1968) #2891

Sign in to view logs

mhpmevent* and mhpmcounter* do not depend on Zihpm (#1968)

mhpmevent* and mhpmcounter* do not depend on Zihpm (#1968) #2891

Triggered via push September 25, 2026 23:43
@github-merge-queuegithub-merge-queue[bot]
pushed 0c82ecf
master
Status Failure
Total duration 3m 1s
Artifacts –

rocq.yml

on: push
build
2m 56s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 5.