An open API service for providing issue and pull request metadata for open source projects.

GitHub / input-output-hk/anti-diffs issues and pull requests

Labelled with: continuous integration

#43 - Add a pull request template

Pull Request - State: closed - Opened by jorisdral over 2 years ago
Labels: documentation, testing, continuous integration

#40 - Build with `ghc-9.4` and `ghc-9.6`

Pull Request - State: closed - Opened by jorisdral over 2 years ago
Labels: continuous integration

#30 - Various changes relating to repo maintenance

Pull Request - State: closed - Opened by jorisdral over 2 years ago
Labels: documentation, continuous integration

#28 - Also run CI for `ghc-9.4.4`

Pull Request - State: closed - Opened by jorisdral almost 3 years ago
Labels: continuous integration

#24 - Temporary CI fix for https://github.com/actions/runner-images/issues/7061

Pull Request - State: closed - Opened by jorisdral almost 3 years ago
Labels: continuous integration