Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove RHEL from the agent CI #4408

Merged

Conversation

DenisRumyantsev
Copy link
Contributor

@DenisRumyantsev DenisRumyantsev commented Aug 28, 2023

Description: We need to remove RHEL from the agent CI since the agent for RHEL is exactly the same as for linux-x64.

@DenisRumyantsev DenisRumyantsev force-pushed the users/DenisRumyantsev/fix-ci-dev-script-for-rhel branch 6 times, most recently from 93c3eb8 to b841c18 Compare August 29, 2023 10:18
@DenisRumyantsev DenisRumyantsev force-pushed the users/DenisRumyantsev/fix-ci-dev-script-for-rhel branch from b841c18 to 89462ac Compare August 29, 2023 10:31
@DenisRumyantsev DenisRumyantsev changed the title Fix src/dev.sh agent CI script for RHEL versions higher than 7 Remove RHEL from the agent CI Aug 29, 2023
@DenisRumyantsev DenisRumyantsev added misc Miscellaneous Changes and removed bug labels Aug 29, 2023
@DenisRumyantsev DenisRumyantsev force-pushed the users/DenisRumyantsev/fix-ci-dev-script-for-rhel branch from b1eb7c5 to 642b41c Compare August 29, 2023 17:33
@DenisRumyantsev DenisRumyantsev marked this pull request as ready for review August 30, 2023 18:32
@DenisRumyantsev DenisRumyantsev requested review from a team as code owners August 30, 2023 18:32
@DenisRumyantsev DenisRumyantsev force-pushed the users/DenisRumyantsev/fix-ci-dev-script-for-rhel branch 2 times, most recently from d787f91 to 2310008 Compare September 1, 2023 00:59
@DenisRumyantsev DenisRumyantsev force-pushed the users/DenisRumyantsev/fix-ci-dev-script-for-rhel branch from 2310008 to 509621d Compare September 1, 2023 04:17
@DenisRumyantsev DenisRumyantsev merged commit 9a7c358 into master Sep 1, 2023
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
misc Miscellaneous Changes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants