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

sync: update CI config files #161

Merged
merged 7 commits into from
Aug 30, 2022
Merged

sync: update CI config files #161

merged 7 commits into from
Aug 30, 2022

Conversation

web3-bot
Copy link
Collaborator

@web3-bot web3-bot commented Apr 4, 2022

Syncing to commit protocol/.github@2821662.

@web3-bot web3-bot force-pushed the web3-bot/sync branch 5 times, most recently from 4a3b854 to b827314 Compare April 12, 2022 17:05
@web3-bot web3-bot force-pushed the web3-bot/sync branch 2 times, most recently from 41b5019 to c0dcaff Compare May 10, 2022 10:10
@web3-bot web3-bot force-pushed the web3-bot/sync branch 3 times, most recently from cf9ac13 to 4a30c31 Compare June 7, 2022 21:39
@web3-bot web3-bot force-pushed the web3-bot/sync branch 2 times, most recently from 90f5020 to 3b2c6c4 Compare June 16, 2022 12:33
@web3-bot web3-bot force-pushed the web3-bot/sync branch 2 times, most recently from 981a480 to 9c3dae0 Compare June 29, 2022 19:34
@web3-bot web3-bot force-pushed the web3-bot/sync branch 3 times, most recently from e2d7dc8 to e5cab4f Compare July 11, 2022 18:28
@web3-bot web3-bot force-pushed the web3-bot/sync branch 2 times, most recently from 7d7d53a to 5da9ca8 Compare August 5, 2022 13:47
@web3-bot web3-bot force-pushed the web3-bot/sync branch 6 times, most recently from ee482e4 to 11abb95 Compare August 29, 2022 11:53
@lidel lidel merged commit 20e8745 into master Aug 30, 2022
@lidel lidel deleted the web3-bot/sync branch August 30, 2022 14:27
@lidel lidel mentioned this pull request Aug 30, 2022
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