Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / UoY-RoboStar / robochart-csp-gen
This project contains the plugin that provides the untimed and timed CSP generators
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/UoY-RoboStar%2Frobochart-csp-gen
Stars: 0
Forks: 0
Open Issues: 41
License: epl-2.0
Language: Xtend
Repo Size: 21.8 MB
Dependencies:
14
Created: about 5 years ago
Updated: almost 2 years ago
Last pushed: 10 months ago
Last synced: 10 months ago
Topics: csp, cspm, eclipse-plugin, robochart, semantics
Files
Loading...
Readme
Loading...
Dependencies
pom.xml
maven
- org.eclipse.xtext:xtext-dev-bom 2.18.0 import
.github/workflows/main.yml
actions
- UoY-RoboStar/ga-activate-fdr master composite
- UoY-RoboStar/ga-eclipse-deploy master composite
- actions/checkout master composite
- actions/setup-java v1 composite
- juliangruber/read-file-action v1 composite
- peter-evans/commit-comment v1 composite
- peter-evans/repository-dispatch v1 composite
- webfactory/ssh-agent v0.5.1 composite