Skip to content
Snippets Groups Projects

Specification attributes for traits

Merged Specification attributes for traits
lennard/trait-specs into main
Merged Lennard Gäher requested to merge lennard/trait-specs into main

This adds support for specification attributes on traits and their instantiation in impls.

We also properly export trait implementations in our interface files now.

Merge request reports

Pipeline #107680 passed

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

          Pipeline passed for 5000c641 on lennard/trait-specs

          Approval is optional

          Merged by Lennard GäherLennard Gäher 5 months ago (Sep 24, 2024 5:10pm UTC)

          Merge details

          • Changes merged into with 5000c641.
          • Deleted the source branch.
          • Auto-merge enabled

          Pipeline #107685 passed

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

                  Pipeline passed for 5000c641 on main

                  Activity

                  Filter activity
                  • Approvals
                  • Assignees & reviewers
                  • Comments (from bots)
                  • Comments (from users)
                  • Commits & branches
                  • Edits
                  • Labels
                  • Lock status
                  • Mentions
                  • Merge request status
                  • Tracking
                  Please register or sign in to reply