Skip to content

Comments

Update CI files#424

Merged
dralley merged 1 commit intomasterfrom
create-pull-request/patch
Aug 30, 2021
Merged

Update CI files#424
dralley merged 1 commit intomasterfrom
create-pull-request/patch

Conversation

@pulpbot
Copy link
Member

@pulpbot pulpbot commented Aug 25, 2021

[noissue]

@pulpbot pulpbot force-pushed the create-pull-request/patch branch 2 times, most recently from 55e21b0 to 54fd864 Compare August 27, 2021 02:42
[noissue]
@pulpbot pulpbot force-pushed the create-pull-request/patch branch from 54fd864 to d791161 Compare August 28, 2021 02:41
@dralley dralley merged commit 4dc2d02 into master Aug 30, 2021
@dralley dralley deleted the create-pull-request/patch branch August 30, 2021 16:02
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