Skip to content

Commit

Permalink
Replace CircleCI with GitHub actions (zio#143)
Browse files Browse the repository at this point in the history
* Remove CircleCI

* Configure GitHub workflows

* Update badge

* Configure microsite publishing

* Align tag names

* Downgrade Dotty version

* Reduce lint matrix

* Remove 2.11 from build matrix

* Fix syntax issue

* Factor out benchmarks compilation

* Remove matrix params from lint

* Reduce benchmarks compilation matrix

* Remove Dotty

* Add command aliases

* Include JS to build

* Fix condition

* Fix names

* Split js and jvm

* Remove nvmrc

* Remove prefix

* Unify cache names
  • Loading branch information
mijicd authored Dec 26, 2020
1 parent bacc051 commit 31f3f88
Show file tree
Hide file tree
Showing 7 changed files with 226 additions and 389 deletions.
380 changes: 0 additions & 380 deletions .circleci/config.yml

This file was deleted.

Loading

0 comments on commit 31f3f88

Please sign in to comment.