PeterJCLaw/srcomp-validate-action
A GitHub Action to validate a compstate.
Loading...
Readme
Loading...
Links
| Registry | github actions |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:githubactions/PeterJCLaw/srcomp-validate-action
spec |
| License | |
| Namespace | PeterJCLaw |
| First Release | almost 4 years ago |
| Last Synced | 12 days ago |
Repository
| Stars | 1 on GitHub |
| Forks | 1 on GitHub |
| Commits | 20 |
| Committers | 1 |
| Avg per Author | 20.0 |
| DDS | 0.0 |