fix ci, disable strict path type checks by default

This commit is contained in:
Jacky Zhao 2023-07-15 23:05:17 -07:00
parent 245388735b
commit c37579e4c5
2 changed files with 3 additions and 3 deletions

View File

@ -1,4 +1,4 @@
name: Deploy to GitHub Pages name: Build and Test
on: on:
push: push:

View File

@ -43,8 +43,8 @@ import { trace } from './trace'
// └────────────┤ MD File ├─────┴─────────────────┘ // └────────────┤ MD File ├─────┴─────────────────┘
// └─────────┘ // └─────────┘
const STRICT_TYPE_CHECKS = true const STRICT_TYPE_CHECKS = false
const HARD_EXIT_ON_FAIL = true const HARD_EXIT_ON_FAIL = false
function conditionCheck<T>(name: string, label: 'pre' | 'post', s: T, chk: (x: any) => x is T) { function conditionCheck<T>(name: string, label: 'pre' | 'post', s: T, chk: (x: any) => x is T) {
if (STRICT_TYPE_CHECKS && !chk(s)) { if (STRICT_TYPE_CHECKS && !chk(s)) {