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

sync: update CI config files #22

Merged
merged 3 commits into from
Oct 15, 2021
Merged

sync: update CI config files #22

merged 3 commits into from
Oct 15, 2021

Conversation

web3-bot
Copy link
Collaborator

@web3-bot web3-bot commented Mar 30, 2021

Syncing to commit protocol/.github@dfff3e5.

@codecov
Copy link

codecov bot commented Mar 30, 2021

Codecov Report

Merging #22 (27147e5) into master (6d853bc) will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master      #22   +/-   ##
=======================================
  Coverage   15.76%   15.76%           
=======================================
  Files           5        5           
  Lines        1999     1999           
=======================================
  Hits          315      315           
  Misses       1643     1643           
  Partials       41       41           

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 6d853bc...27147e5. Read the comment docs.

@web3-bot web3-bot changed the title sync: only create a single PR per target repo sync: run go mod tidy (and set Go 1.15) and gofmt -s in copy workflow Apr 1, 2021
@web3-bot web3-bot force-pushed the web3-bot/sync branch 2 times, most recently from 79dec43 to e9e242c Compare April 2, 2021 04:55
@web3-bot web3-bot changed the title sync: run go mod tidy (and set Go 1.15) and gofmt -s in copy workflow sync: remove Travis and CircleCI configs on first deployment of test workflow Apr 2, 2021
@web3-bot web3-bot changed the title sync: remove Travis and CircleCI configs on first deployment of test workflow sync: update CI config files Apr 6, 2021
@web3-bot web3-bot force-pushed the web3-bot/sync branch 2 times, most recently from 27147e5 to 9a5f0fa Compare April 9, 2021 03:50
@masih
Copy link
Member

masih commented Jul 19, 2021

This PR may be redundant as per #23

@github-actions github-actions bot merged commit 711b74b into master Oct 15, 2021
@github-actions github-actions bot deleted the web3-bot/sync branch October 15, 2021 11:53
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