Skip to content
Unsoundness checks

ci: Make a comment when the PR title is wrongly formatted (#965) #464

Sign in to view logs

ci: Make a comment when the PR title is wrongly formatted (#965)

ci: Make a comment when the PR title is wrongly formatted (#965) #464

Triggered via push April 23, 2024 11:41
@github-merge-queuegithub-merge-queue[bot]
pushed 6a9e6eb
main
Status Failure
Total duration 36m 35s
Artifacts –

unsoundness.yml

on: push
Miri
36m 25s
Miri
Fit to window
Zoom out
Zoom in

Annotations

1 error
Miri
Process completed with exit code 101.