Skip to content

Duplicate jobs are not immediately pushed back to origin #45

Open
Open
Duplicate jobs are not immediately pushed back to origin#45
Labels
bugSomething isn't working

Description

@shteou
shteou
opened on May 10, 2020

After deleting duplicated jobs, the result is not pushed back to origin master unless additional jobs are processed.

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions