Skip to content
Unsoundness checks

ci(pr-title): Escape variables used in bash scripts (#992) #479

Sign in to view logs

ci(pr-title): Escape variables used in bash scripts (#992)

ci(pr-title): Escape variables used in bash scripts (#992) #479

Triggered via push May 2, 2024 11:54
@github-merge-queuegithub-merge-queue[bot]
pushed 4b9d3da
main
Status Success
Total duration 11m 28s
Artifacts –

unsoundness.yml

on: push
Miri
11m 18s
Miri
Fit to window
Zoom out
Zoom in