diff options
| author | Jonas Schievink <[email protected]> | 2020-07-01 14:19:36 +0100 |
|---|---|---|
| committer | Jonas Schievink <[email protected]> | 2020-07-01 14:19:36 +0100 |
| commit | 07ba986db7b9f7c275bc2b6a32487e0aa8b70864 (patch) | |
| tree | 85bc94c7081aa8fb843eec1e7746ff8c8b0d3d21 /.github/workflows | |
| parent | 63ea8f2af097316523f54f09e1c54d515a1bb9fd (diff) | |
Don't recursively call `impls_from_deps`
It creates a big map and duplicates lots of impls that are then left
lying around
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions