Skip to content

prevent building something again in the same PR / use rebuild instead #245

@trz42

Description

@trz42

It might happen that something is rebuilt by accident by using bot: build ... (eg. copying from an earlier PR or comment).

This could be checked when a build command is processed. To allow rebuilding (eg. after some code update) one might implement a new command bot: rebuild FILTERs which would bypass the check.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions