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

ci: rename the job name #238

Merged
merged 1 commit into from
Feb 16, 2024
Merged

ci: rename the job name #238

merged 1 commit into from
Feb 16, 2024

Conversation

pepyakin
Copy link
Contributor

No description provided.

@gabriele-0201 gabriele-0201 mentioned this pull request Feb 16, 2024
2 tasks
Copy link
Contributor Author

pepyakin commented Feb 16, 2024

Current dependencies on/for this PR:

This stack of pull requests is managed by Graphite.

@pepyakin pepyakin mentioned this pull request Feb 16, 2024
Base automatically changed from gab_rename_to_ikura to main February 16, 2024 14:00
@pepyakin pepyakin force-pushed the pep-ci-rename-the-job-name branch from 8bc11cc to 8147ce7 Compare February 16, 2024 14:03
@pepyakin pepyakin merged commit 3e1f9dd into main Feb 16, 2024
3 of 5 checks passed
@pepyakin pepyakin deleted the pep-ci-rename-the-job-name branch February 16, 2024 14:04
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.

1 participant