diff --git a/.github/workflows/posix.yml b/.github/workflows/posix.yml index 5df00e0..ba55072 100644 --- a/.github/workflows/posix.yml +++ b/.github/workflows/posix.yml @@ -1,4 +1,4 @@ -name: "POSIX" +name: "Haskell/CI" on: [push] jobs: diff --git a/README.md b/README.md index f77cb53..191dcc5 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,6 @@ # Free Category [![Maintainer: coot](https://img.shields.io/badge/maintainer-coot-lightgrey.svg)](http://github.com/coot) -[![CircleCI](https://circleci.com/gh/coot/free-category/tree/master.svg?style=svg)](https://circleci.com/gh/coot/free-category/tree/master) +[![Haskell/CI](https://github.com/coot/free-category/workflows/Haskell/CI/badge.svg)](https://github.com/coot/free-category/actions) This package contains efficient implementations of free categories. There are various representations available: