[PR #941] [MERGED] ci(docker): add clippy #8079

New issue

Closed

opened 2026-05-23 02:56:35 +01:00 by JakeStanger · 0 comments

JakeStanger commented

2026-05-23 02:56:35 +01:00

Owner

📋 Pull Request Information

Original PR: https://github.com/JakeStanger/ironbar/pull/941
Author: @JakeStanger
Created: 4/16/2025
Status: ✅ Merged
Merged: 4/16/2025
Merged by: @JakeStanger

Base: master ← Head: ci/dockerfile-clippy

📝 Commits (1)

8b71ff3 ci(docker): add clippy

📊 Changes

1 file changed (+3 additions, -1 deletions)

View changed files

📝 Dockerfile (+3 -1)

📄 Description

No description provided

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/JakeStanger/ironbar/pull/941 **Author:** [@JakeStanger](https://github.com/JakeStanger) **Created:** 4/16/2025 **Status:** ✅ Merged **Merged:** 4/16/2025 **Merged by:** [@JakeStanger](https://github.com/JakeStanger) **Base:** `master` ← **Head:** `ci/dockerfile-clippy` --- ### 📝 Commits (1) - [`8b71ff3`](https://github.com/JakeStanger/ironbar/commit/8b71ff3cb6e78b2602cff8dd35acdf7434067425) ci(docker): add clippy ### 📊 Changes **1 file changed** (+3 additions, -1 deletions) <details> <summary>View changed files</summary> 📝 `Dockerfile` (+3 -1) </details> ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

JakeStanger

2026-05-23 02:56:35 +01:00