Commit Graph
9 Commits
Author SHA1 Message Date
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