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 #115

Merged
merged 9 commits into from
Feb 16, 2023
Merged

sync: update CI config files #115

merged 9 commits into from
Feb 16, 2023

Conversation

web3-bot
Copy link
Collaborator

No description provided.

@web3-bot web3-bot force-pushed the web3-bot/sync branch 5 times, most recently from d55ed46 to de7254f Compare August 29, 2022 14:28
@web3-bot web3-bot force-pushed the web3-bot/sync branch 3 times, most recently from 1dc4e87 to 333e242 Compare September 8, 2022 08:53
@web3-bot web3-bot force-pushed the web3-bot/sync branch 2 times, most recently from 2c3b355 to e4e60f6 Compare September 12, 2022 13:11
@web3-bot web3-bot force-pushed the web3-bot/sync branch 6 times, most recently from 66ccf61 to 3954138 Compare September 23, 2022 07:45
@web3-bot web3-bot force-pushed the web3-bot/sync branch 6 times, most recently from 1abd8e8 to 911cc19 Compare October 19, 2022 12:12
@web3-bot web3-bot force-pushed the web3-bot/sync branch 3 times, most recently from 9dbffdb to 1dbe2df Compare November 8, 2022 12:06
@web3-bot web3-bot force-pushed the web3-bot/sync branch 3 times, most recently from cf4d8b2 to 5786142 Compare November 15, 2022 13:47
@web3-bot web3-bot force-pushed the web3-bot/sync branch 10 times, most recently from 773fd8f to 85a9b20 Compare February 2, 2023 15:25
@web3-bot web3-bot force-pushed the web3-bot/sync branch 6 times, most recently from 2368b59 to 0dbca0b Compare February 8, 2023 09:09
@gammazero gammazero merged commit 2efde1e into master Feb 16, 2023
@gammazero gammazero deleted the web3-bot/sync branch February 16, 2023 01:58
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