key | value |
---|---|
id | 221697983 |
name | toolchain |
full_name | ada-actions/toolchain |
html_url | https://github.com/ada-actions/toolchain |
description | GitHub action to setup an Ada/SPARK dev environment |
created_at | Nov. 14, 2019, 12:57 p.m. |
updated_at | Sept. 24, 2024, 3:01 p.m. |
pushed_at | March 11, 2022, 11:50 a.m. |
size | 22,030 |
stargazers_count | 20 |
watchers_count | 2 |
forks_count | 6 |
open_issues | 4 |
language | JavaScript |
awesome_list |