Commit Graph
12 Commits
Author SHA1 Message Date
zkldi 3ed3027c65 fix: inconsistent varnames 2024-04-05 20:58:36 +01:00
zkldi 287b5fac27 feat: move urls 2024-04-05 20:48:55 +01:00
zkldi 1200f00f92 temp: do away with all CI 2024-04-01 22:01:21 +01:00
zkldi 6252117b2b EMERG: don't deploy on prs
absolutely stupid oversight
god i hate github actions
2023-08-17 19:24:39 +01:00
zkldi 4537349027 ci: test client prs with typechecking before merge 2023-08-17 19:22:29 +01:00
zkldi 032208f11e ci: actually run typechecks 2023-08-14 21:43:47 +01:00
zkldi ad492da4d5 chore: rename workflows 2022-07-15 19:18:48 +01:00
ereti 3c1f7065cc Update client.yml 2022-07-14 01:23:45 +01:00
ereti 790e9cde0a Update client.yml 2022-07-14 00:38:52 +01:00
ereti 8211fcb4bb Update client.yml 2022-07-14 00:35:36 +01:00
ereti 6bebca04b2 Update client.yml 2022-07-14 00:04:52 +01:00
ereti dd22e007d8 Create client.yml 2022-07-13 23:46:59 +01:00