Unsoundness checks

[new] Infer extension requirements (#330) #144

Sign in to view logs

Triggered via push August 25, 2023 15:11

github-merge-queue[bot]

Status Success

Total duration 5m 42s

Artifacts –

unsoundness.yml

on: push