language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-04 18:58:30 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
erg/.github
History
Exact
Shunsuke Shibayama ebe776804b CI: use cargo-nextest
2024-03-25 15:37:36 +09:00
..
ISSUE_TEMPLATE Update issue templates 2023-01-24 21:01:01 +09:00
workflows CI: use cargo-nextest 2024-03-25 15:37:36 +09:00
pull_request_template.md Create pull_request_template.md 2022-08-21 20:42:11 +08:00