]> Nishi Git Mirror - gwion.git/commit
:wrench: add bot and discord backend update
authorJérémie Astor <fennecdjay@gmail.com>
Mon, 18 Apr 2022 08:11:03 +0000 (10:11 +0200)
committerJérémie Astor <fennecdjay@gmail.com>
Mon, 18 Apr 2022 08:11:03 +0000 (10:11 +0200)
commit9e1f40862ace352a1707ee90858a3b8c321feb2e
tree51c09a2941b9411f345ded8fae4c2df92bcd24e1
parent19ab8a4ea413f46eaaee09e4e0716e4bcfb9f64a
:wrench: add bot and discord backend update
.github/workflows/backend.yml [new file with mode: 0644]
.github/workflows/discord_bot.yml [new file with mode: 0644]
.github/workflows/irc_bot.yml [moved from .github/workflows/bot.yml with 100% similarity]
include/env/context.h
src/compile.c
src/emit/emit.c
src/parse/check.c
src/parse/scan1.c