Skip to content

Add job names to pipeline checks#13

Merged
codethief merged 1 commit into
masterfrom
feat/add_names_to_pipeline_checks
Jun 22, 2026
Merged

Add job names to pipeline checks#13
codethief merged 1 commit into
masterfrom
feat/add_names_to_pipeline_checks

Conversation

@codethief

Copy link
Copy Markdown
Owner

This is necessary so that we can require the PR checks to be green before a PR can be merged.

@codethief codethief changed the title Add names to pipeline checks Add job names to pipeline checks Jun 22, 2026
@codethief codethief force-pushed the feat/add_names_to_pipeline_checks branch 2 times, most recently from 78d3f6d to 6f632a2 Compare June 22, 2026 20:33
This is necessary so that we can require the PR checks to be green before a PR
can be merged.
@codethief codethief force-pushed the feat/add_names_to_pipeline_checks branch from 6f632a2 to 53b8b22 Compare June 22, 2026 20:34
@codethief codethief merged commit 530e292 into master Jun 22, 2026
4 checks passed
@codethief codethief deleted the feat/add_names_to_pipeline_checks branch June 22, 2026 20:35
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