Skip to content
This repository has been archived by the owner on Jun 20, 2023. It is now read-only.

sync: update CI config files #29

Merged
merged 6 commits into from
Feb 22, 2023
Merged

sync: update CI config files #29

merged 6 commits into from
Feb 22, 2023

Conversation

web3-bot
Copy link
Collaborator

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

Syncing to commit protocol/.github@2aab7c0.

@web3-bot web3-bot force-pushed the web3-bot/sync branch 5 times, most recently from 262376a to 781e084 Compare April 12, 2022 17:05
@web3-bot web3-bot force-pushed the web3-bot/sync branch 2 times, most recently from 01d42e1 to 39b35d2 Compare May 10, 2022 10:10
@web3-bot web3-bot force-pushed the web3-bot/sync branch 3 times, most recently from 3dfe6c9 to a69d30a Compare June 7, 2022 21:38
@web3-bot web3-bot force-pushed the web3-bot/sync branch 2 times, most recently from 44bbb4b to c2957f7 Compare June 16, 2022 12:33
@web3-bot web3-bot force-pushed the web3-bot/sync branch 2 times, most recently from 0daace1 to 187957d Compare June 29, 2022 19:33
@web3-bot web3-bot force-pushed the web3-bot/sync branch 3 times, most recently from b084e7a to 817d7b0 Compare July 11, 2022 18:27
@web3-bot web3-bot force-pushed the web3-bot/sync branch 2 times, most recently from d241547 to 473ccb7 Compare August 5, 2022 13:46
@web3-bot web3-bot force-pushed the web3-bot/sync branch 6 times, most recently from 6ac322c to 5117d46 Compare August 29, 2022 11:53
@web3-bot web3-bot force-pushed the web3-bot/sync branch 3 times, most recently from 74d1bf0 to 64ca123 Compare November 15, 2022 13:46
@web3-bot web3-bot force-pushed the web3-bot/sync branch 6 times, most recently from aeb47fd to 8a405de Compare November 25, 2022 20:07
@web3-bot web3-bot force-pushed the web3-bot/sync branch 5 times, most recently from 025e17b to 3e29da6 Compare December 2, 2022 19:36
@web3-bot web3-bot force-pushed the web3-bot/sync branch 3 times, most recently from 42068a8 to 8bddc83 Compare December 6, 2022 13:47
@galargh galargh merged commit 5fb5fb5 into master Feb 22, 2023
@galargh galargh deleted the web3-bot/sync branch February 22, 2023 18:21
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants