Skip to content
This repository has been archived by the owner on Sep 6, 2022. It is now read-only.

sync: update CI config files #241

Merged
merged 5 commits into from
Apr 10, 2022
Merged

sync: update CI config files #241

merged 5 commits into from
Apr 10, 2022

Conversation

web3-bot
Copy link
Collaborator

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

Syncing to commit protocol/.github@2aab7c0.

@galargh
Copy link

galargh commented Apr 6, 2022

Removed a nil check in 07d0260

@web3-bot web3-bot force-pushed the web3-bot/sync branch 2 times, most recently from 1ab43c1 to ea62565 Compare April 7, 2022 15:00
@marten-seemann marten-seemann merged commit f927693 into master Apr 10, 2022
@galargh galargh deleted the web3-bot/sync branch April 11, 2022 07:12
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