infrastructure/blender-projects-platform
7
1
Issues 47 Projects 1 Activity

Buildbot: Improve linting #75

New Issue
Open
opened 2024-01-11 19:35:05 +01:00 by Brecht Van Lommel · 0 comments
Brecht Van Lommel commented 2024-01-11 19:35:05 +01:00
Owner
Copy Link
  • Add @blender-bot lint to run only the linter without building.
  • Add more checks than make format
  • For pull requests, ignore format issues already in the target branch
  • Secure linter so it can automatically run on any PR update
* [ ] Add `@blender-bot lint` to run only the linter without building. * [ ] Add more checks than `make format` * [ ] For pull requests, ignore format issues already in the target branch * [ ] Secure linter so it can automatically run on any PR update
Brecht Van Lommel added the
Service
Buildbot
 label 2024-01-19 20:24:35 +01:00
Bart van der Braak added this to the DevOps Progress Board project 2024-07-16 12:54:26 +02:00
Bart van der Braak changed title from Buildbot: improve linting to Buildbot: Improve linting 2024-07-17 15:12:11 +02:00
Bart van der Braak added the
Type
Feature
 label 2024-08-01 11:26:28 +02:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels   
Service
Buildbot
builder.blender.org

  
Service
Chat
chat.blender.org

  
Service
Gitea
projects.blender.org

  
Service
Translate
translate.blender.org

  
Type
Bug
Errors or incorrect behaviour

  
Type
Config
Configuration change

  
Type
Deployment
Version deployment or rollback

  
Type
Feature
New functionality or enhancement

  
Type
Setup
New service setup and deployment

No Label
Service
Buildbot
Service
Chat
Service
Gitea
Service
Translate
Type
Bug
Type
Config
Type
Deployment
Type
Feature
Type
Setup
Milestone
Clear milestone
No items
No Milestone
Projects
Clear projects
No project
DevOps Progress Board
Assignees
Clear assignees
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: infrastructure/blender-projects-platform#75
No description provided.
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?