Skip to content

Allow on-demand full build with bors #45

@benpicco

Description

@benpicco

Currently bors will only do a full build on bors merge.
A bors try only invokes a quick build.

This makes it hard to debug issues that only occur on the full build as they will only turn up once the PR has already been approved for merge.

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions