Unsoundness checks

refactor: Remove "trait TypeParametrised" (#1019) #494

Sign in to view logs

Summary
Jobs
- Miri
Run details
- Usage
- Workflow file

Triggered via push May 10, 2024 11:34

github-merge-queue[bot]

main

Status Failure

Total duration 16m 32s

Artifacts –

unsoundness.yml

on: push

Annotations

1 error

Process completed with exit code 101.