Skip to content

Fetch git info#324

Merged
ppinchuk merged 1 commit intomainfrom
pp/update_workflow
Nov 8, 2025
Merged

Fetch git info#324
ppinchuk merged 1 commit intomainfrom
pp/update_workflow

Conversation

@ppinchuk
Copy link
Collaborator

@ppinchuk ppinchuk commented Nov 8, 2025

Fetch git info to try to avoid errors due to missing refs

@ppinchuk ppinchuk added this to the Finishing touches for OSS milestone Nov 8, 2025
@ppinchuk ppinchuk self-assigned this Nov 8, 2025
@ppinchuk ppinchuk added the chore Maintenance work that does not impact the user label Nov 8, 2025
@ppinchuk ppinchuk requested a review from castelao as a code owner November 8, 2025 19:59
@ppinchuk ppinchuk added the github_actions Pull requests that update GitHub Actions code label Nov 8, 2025
@ppinchuk ppinchuk merged commit 70389ff into main Nov 8, 2025
@ppinchuk ppinchuk deleted the pp/update_workflow branch November 8, 2025 20:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Maintenance work that does not impact the user github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant