Skip to content

ci: linter#182

Merged
aluzzardi merged 2 commits intomainfrom
ci-lint
Jul 4, 2025
Merged

ci: linter#182
aluzzardi merged 2 commits intomainfrom
ci-lint

Conversation

@aluzzardi
Copy link
Contributor

No description provided.

@aluzzardi aluzzardi force-pushed the ci-lint branch 2 times, most recently from 01f5227 to cb71229 Compare July 3, 2025 23:07
Andrea Luzzardi added 2 commits July 3, 2025 17:00
Signed-off-by: Andrea Luzzardi <al@dagger.io>
Signed-off-by: Andrea Luzzardi <al@dagger.io>
@aluzzardi aluzzardi merged commit 530ea5f into main Jul 4, 2025
4 checks passed
@aluzzardi aluzzardi deleted the ci-lint branch July 4, 2025 00:07
gsnaiper pushed a commit to gsnaiper/container-use that referenced this pull request Nov 19, 2025
* ci: linter

Signed-off-by: Andrea Luzzardi <al@dagger.io>

* lint: environment setup

Signed-off-by: Andrea Luzzardi <al@dagger.io>

---------

Signed-off-by: Andrea Luzzardi <al@dagger.io>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

Comments