Skip to content
Publish rustdoc

fix(brillig): emit a trap for unreachable terminators (#13448) #3133

Sign in to view logs

fix(brillig): emit a trap for unreachable terminators (#13448)

fix(brillig): emit a trap for unreachable terminators (#13448) #3133

Triggered via push August 19, 2026 13:04
@github-merge-queuegithub-merge-queue[bot]
pushed 030e0d4
master
Status Cancelled
Total duration 1m 5s
Artifacts –

rustdoc.yml

on: push
Build
1m 0s
Build
Deploy
Deploy
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Build
Canceling since a higher priority waiting request for Publish rustdoc-refs/heads/master exists
Build
The operation was canceled.
Publish rustdoc
Canceling since a higher priority waiting request for Publish rustdoc-refs/heads/master exists