Skip to content
Snippets Groups Projects

Support trait attributes in more places + lifetime solver improvements

Merged Support trait attributes in more places + lifetime solver improvements
lennard/traitattrs into main
Merged Lennard Gäher requested to merge lennard/traitattrs into main
Status
Pipeline
Created by
Stages
Actions
Passed

00:37:33

avatar
Stage: nix-cache
    Stage: lint
      Stage: build
        Stage: tests

          No artifacts found