Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / coq / bot

A (Coq Development Team) bot written in OCaml

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/coq%2Fbot

Stars: 23
Forks: 14
Open Issues: 117

License: mit
Language: OCaml
Repo Size: 5.72 MB
Dependencies: 5

Created: about 6 years ago
Updated: 15 days ago
Last pushed: 15 days ago
Last synced: 15 days ago

Topics: bot, github, github-api, github-app, gitlab, gitlab-api, ocaml, webhook

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/deploy_heroku.yml actions
    .github/workflows/publish_docker.yml actions
    Dockerfile docker