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 4d00f9be4b CI: update release scripts
2023-04-29 00:18:22 +09:00
..
docs.yml ci: run docs.yml only on the main repo 2023-04-08 15:14:32 +08:00
notify.yml CI: update secrets 2023-04-12 09:47:25 +09:00
release.yml CI: update release scripts 2023-04-29 00:18:22 +09:00
rust.yml CI: update release scripts 2023-04-29 00:18:22 +09:00