Skip to content
Unsoundness checks

refactor: Add From conversion from ExtensionId to ExtensionSet (#855) #395

Sign in to view logs

refactor: Add From conversion from ExtensionId to ExtensionSet (#855)

refactor: Add From conversion from ExtensionId to ExtensionSet (#855) #395

Triggered via push March 5, 2024 14:02
@github-merge-queuegithub-merge-queue[bot]
pushed 6be3ca2
main
Status Success
Total duration 14m 13s
Artifacts –

unsoundness.yml

on: push
Miri
14m 4s
Miri
Fit to window
Zoom out
Zoom in