Ecosyste.ms: Issues

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

GitHub / omelkonian/setup-agda issues and pull requests

#3 - Create a dedicated action to add the github ribbon to the generated HTML files

Issue - State: open - Opened by andreasabel over 1 year ago

#2 - Use `@actions/tool-cache` for caching versions

Issue - State: open - Opened by omelkonian over 2 years ago - 1 comment

#1 - Bump minimist from 1.2.5 to 1.2.6

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies