Skip to content
This repository has been archived by the owner on Nov 10, 2021. It is now read-only.

[No Issue] Remove Jenkinsfile.psi #3492

Merged

Conversation

robpblake
Copy link
Contributor

Completing the tidy up of the migration to the PSI Jenkins instance. This removes the Jenkinsfile.psi from the root of the repository as this has been migrated into Jenkinsfile.

Verification Process

  • The build should go green

Copy link
Contributor

@alistairmc alistairmc left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks ok to me, build is green and test passed

@robpblake robpblake merged commit e046dc1 into redhat-developer:master Feb 4, 2020
@robpblake robpblake deleted the remove-jenkinsfile-psi branch February 4, 2020 12:53
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants