chore: Shurtcut job-names

[limakzi]

No description provided.

[Copilot]

Pull Request Overview

This PR aims to shorten the job names in the GitHub workflows for improved brevity. Key changes include:

• Adding YAML front matter to the Docker build workflow.
• Renaming job identifiers (e.g., "build-bare" to "bare", "build-slim" to "slim", etc.) in the main workflow and updating the associated job dependency references.

Reviewed Changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated no comments.

File	Description
.github/workflows/worflow-dispatch-build.yaml	Added YAML front matter to the workflow file.
.github/workflows/main.yaml	Shortened job names and updated dependent job references accordingly.

Comments suppressed due to low confidence (4)

.github/workflows/main.yaml:39

• [nitpick] The job identifier 'bare' may be too terse to convey its purpose clearly. Consider using a slightly more descriptive name to maintain clarity.

bare:

.github/workflows/main.yaml:54

• [nitpick] The shortened job name 'slim' might reduce context for what the job entails. Consider a more descriptive name if it improves overall clarity.

slim:

.github/workflows/main.yaml:70

• [nitpick] The new job name 'full' is very brief and might be ambiguous. It may be beneficial to use a more expressive identifier for maintainability.

full:

.github/workflows/main.yaml:87

• [nitpick] Using 'jupyter' as the job name is concise but could be misinterpreted. Consider adding context or a prefix if it improves understanding for future maintainers.

jupyter: