Skip to content

ci: Fix broken js-builder build#2784

Merged
mergify[bot] merged 2 commits intodevelopfrom
bugfix/builds
Jun 15, 2022
Merged

ci: Fix broken js-builder build#2784
mergify[bot] merged 2 commits intodevelopfrom
bugfix/builds

Conversation

@mslipper
Copy link
Collaborator

The curl commands weren't outputting files and the checksum verification was breaking other commands.

The curl commands weren't outputting files and the checksum verification was breaking other commands.
@changeset-bot
Copy link

changeset-bot bot commented Jun 15, 2022

🦋 Changeset detected

Latest commit: 426d4a1

The changes in this PR will be included in the next version bump.

This PR includes changesets to release 1 package
Name Type
@eth-optimism/js-builder Patch

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR

Copy link
Contributor

@Inphi Inphi left a comment

Choose a reason for hiding this comment

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

Looks good.
But i'm curious as to how it worked before if the curl command download anything?

@mslipper
Copy link
Collaborator Author

@mslipper
Copy link
Collaborator Author

@Mergifyio refresh

@mergify
Copy link
Contributor

mergify bot commented Jun 15, 2022

This PR has been added to the merge queue, and will be merged soon.

@mergify
Copy link
Contributor

mergify bot commented Jun 15, 2022

refresh

✅ Pull request refreshed

@mergify
Copy link
Contributor

mergify bot commented Jun 15, 2022

This PR is next in line to be merged, and will be merged as soon as checks pass.

@mergify mergify bot merged commit 8dc5009 into develop Jun 15, 2022
@mergify mergify bot deleted the bugfix/builds branch June 15, 2022 15:15
@mergify mergify bot removed the on-merge-train label Jun 15, 2022
@mslipper mslipper mentioned this pull request Jun 18, 2022
theochap pushed a commit that referenced this pull request Dec 10, 2025
Closes #2741

---------

Co-authored-by: sadiq1971 <sadiqurr8@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-ops Area: ops

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants