Propose PR

Avoiding `Algebra K (adicCompletion L w)` diamond #132

Sign in to view logs

Summary
Jobs
- propose_pr
Run details
- Usage
- Workflow file

Triggered via issue December 1, 2024 16:42

kbuzzard

commented on #230 a5d9c82

Status Skipped

Total duration 3s

Artifacts –

03-propose-pr.yml

on: issue_comment