language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-12-23 05:36:48 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
erg/.github/workflows
History
Shunsuke Shibayama ebe776804b CI: use cargo-nextest
2024-03-25 15:37:36 +09:00
..
docs.yml feat: maketqdm.Tqdm! polymorphic 2023-11-18 17:06:22 +09:00
main.yml CI: use cargo-nextest 2024-03-25 15:37:36 +09:00
notify.yml chore: fill missing arms 2024-02-25 11:20:11 +09:00
release.yml Update release.yml 2024-03-18 23:28:16 +09:00