Skip to content
Snippets Groups Projects

Build system tweaks + repo cleanup

Merged Build system tweaks + repo cleanup
build-system-tweaks into main
Merged Lennard Gäher requested to merge build-system-tweaks into main

Cleans up the repo and the Makefile a bit.

Merge request reports

Pipeline #98962 canceled

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

          Pipeline canceled for d30f4b59 on build-system-tweaks

          Approval is optional

          Merged by Lennard GäherLennard Gäher 1 year ago (Mar 23, 2024 3:21pm UTC)

          Merge details

          • Changes merged into main with 1be7b1d6 (commits were squashed).
          • Deleted the source branch.

          Pipeline #98963 passed with warnings

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

                  Pipeline passed with warnings for 1be7b1d6 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