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
toddlerer e019e4eb0e
ci: set test timeout to 20 minutes
2023-11-25 10:40:04 +09:00
..
docs.yml feat: maketqdm.Tqdm! polymorphic 2023-11-18 17:06:22 +09:00
main.yml ci: set test timeout to 20 minutes 2023-11-25 10:40:04 +09:00
notify.yml CI: update secrets 2023-06-25 23:07:21 +09:00
release.yml build: remove dependencies libc/winapi/hermit_abi 2023-06-02 23:53:42 +09:00