diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index b005a5d5..ef2e02c3 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -1,13 +1,11 @@ name: build on: push: - branches: [ main ] paths-ignore: - 'docs/**' - 'web/**' - '**.md' pull_request: - branches: [ main ] paths-ignore: - 'docs/**' - 'web/**' diff --git a/include/pocketpy/config.h b/include/pocketpy/config.h index a1733f32..24e30f7a 100644 --- a/include/pocketpy/config.h +++ b/include/pocketpy/config.h @@ -33,7 +33,7 @@ /*************** debug settings ***************/ // Enable this may help you find bugs -#define PK_DEBUG_EXTRA_CHECK 1 +#define PK_DEBUG_EXTRA_CHECK 0 // Do not edit the following settings unless you know what you are doing #define PK_DEBUG_CEVAL_STEP 0