Migrate to GitHub Actions

2020-11-06 16:50:30 -03:00
parent 036702c57d
commit c77439592c
6 changed files with 40 additions and 102 deletions
--- a/scripts/coverage.sh
+++ b/scripts/coverage.sh
@ -1,9 +0,0 @@
-#!/usr/bin/env bash
-
-set -euo pipefail
-
-buidler coverage
-
-if [ -n "$CI" ]; then
-  curl -s https://codecov.io/bash | bash -s -- -C "$CIRCLE_SHA1"
-fi