revert back to old ci

Signed-off-by: Amneesh Singh <natto@weirdnatto.in>
2022-04-04 18:17:02 +05:30
parent a3919853b0
commit 25735e3581
7 changed files with 2439 additions and 83 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -4,3 +4,4 @@ result
 .\#*
 .*~*~
 *~
+result-bin