Unsoundness checks

feat: Derive Debug & Clone for `ExtensionRegistry`. (#530) #197

Sign in to view logs

Triggered via push September 12, 2023 16:48

github-merge-queue[bot]

Status Success

Total duration 24m 57s

Artifacts –

unsoundness.yml

on: push