Skip to content

Remove wrong command#5

Merged
lupodevelop merged 1 commit intomainfrom
release/workflow
Nov 9, 2025
Merged

Remove wrong command#5
lupodevelop merged 1 commit intomainfrom
release/workflow

Conversation

@lupodevelop
Copy link
Owner

Eliminated the 'Validate package (dry-run)' step from the release GitHub Actions workflow, streamlining the process before publishing to Hex.

Eliminated the 'Validate package (dry-run)' step from the release GitHub Actions workflow, streamlining the process before publishing to Hex.
Copilot AI review requested due to automatic review settings November 9, 2025 17:59
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR removes the package validation step from the release workflow, streamlining the publishing process by eliminating the dry-run check before publishing to Hex.

Key Changes

  • Removed the "Validate package (dry-run)" step that previously executed gleam publish --dry-run before actual publication

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@@ -98,11 +98,6 @@ jobs:
git push origin "${TAG}"
echo "Pushed tag ${TAG} to origin"

Copy link

Copilot AI Nov 9, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Removing the dry-run validation step before publishing to Hex eliminates a safety check that could catch package configuration issues or validation errors before attempting actual publication. Consider keeping the dry-run step to prevent failed publishes and ensure package integrity.

Suggested change
- name: Dry-run publish to Hex
run: |
echo "Validating package with dry-run publish..."
gleam publish --dry-run

Copilot uses AI. Check for mistakes.
@lupodevelop lupodevelop merged commit 02a73d2 into main Nov 9, 2025
8 checks passed
@lupodevelop lupodevelop deleted the release/workflow branch November 9, 2025 18:02
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.

2 participants