Skip to content

Conversation

XhmikosR
Copy link
Collaborator

Since we always make PRs before something is merged, this should remove duplicate runs.

@jmervine jmervine temporarily deployed to bootstrapcdn-dev-pr-1535 April 29, 2020 10:51 Inactive
@XhmikosR XhmikosR temporarily deployed to bootstrapcdn-dev-pr-1535 April 29, 2020 10:54 Inactive
@XhmikosR XhmikosR temporarily deployed to bootstrapcdn-dev-pr-1535 April 29, 2020 10:55 Inactive
@XhmikosR XhmikosR mentioned this pull request Apr 29, 2020
@XhmikosR XhmikosR marked this pull request as ready for review April 29, 2020 11:57
@XhmikosR XhmikosR closed this Apr 29, 2020
@XhmikosR XhmikosR deleted the ci branch April 29, 2020 11:57
@XhmikosR XhmikosR restored the ci branch April 29, 2020 12:08
@XhmikosR XhmikosR reopened this Apr 29, 2020
@jmervine jmervine temporarily deployed to bootstrapcdn-dev-pr-1535 April 29, 2020 12:09 Inactive
@XhmikosR XhmikosR temporarily deployed to bootstrapcdn-dev-pr-1535 April 29, 2020 12:12 Inactive
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