Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

CI for the eth-bridge-integration branch #394

Closed
wants to merge 2,338 commits into from
Closed

Conversation

james-chf
Copy link
Contributor

@james-chf james-chf commented Aug 30, 2022

This PR is for running CI on every merge to the eth-bridge-integration branch. It shouldn't be merged so should stay as a draft PR. This PR should ideally always be building green.

@james-chf james-chf changed the title tmp: CI for the eth-bridge-integration branch Run CI for the eth-bridge-integration branch Sep 1, 2022
@james-chf james-chf changed the title Run CI for the eth-bridge-integration branch CI for the eth-bridge-integration branch Sep 1, 2022
@james-chf james-chf added the CI label Sep 2, 2022
@james-chf
Copy link
Contributor Author

pls update wasm

2 similar comments
@james-chf
Copy link
Contributor Author

pls update wasm

@sug0
Copy link
Contributor

sug0 commented Sep 27, 2022

pls update wasm

@Fraccaman Fraccaman force-pushed the eth-bridge-integration branch 4 times, most recently from 8d7b66f to c285b74 Compare October 6, 2022 10:49
@james-chf
Copy link
Contributor Author

pls update wasm

7 similar comments
@james-chf
Copy link
Contributor Author

pls update wasm

@james-chf
Copy link
Contributor Author

pls update wasm

@james-chf
Copy link
Contributor Author

pls update wasm

@james-chf
Copy link
Contributor Author

pls update wasm

@james-chf
Copy link
Contributor Author

pls update wasm

@james-chf
Copy link
Contributor Author

pls update wasm

@james-chf
Copy link
Contributor Author

pls update wasm

@sug0
Copy link
Contributor

sug0 commented Dec 21, 2022

pls update wasm

@cwgoes
Copy link
Contributor

cwgoes commented Jan 5, 2023

@james-chf Is this PR still relevant?

@james-chf
Copy link
Contributor Author

This PR is only open to run CI against main for eth-bridge-integration, I think it can be closed now (the CI jobs should still run in GitHub Actions on every merge/push to eth-bridge-integration anyway)

@james-chf james-chf closed this Jan 5, 2023
phy-chain pushed a commit to phy-chain/namada that referenced this pull request Mar 1, 2024
* Add scripts to start proxy, update Cosmos env for consistency

* Add proxy env to extension, update README.md

* SDK & Query must also use proxy if specified
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants