File tree Expand file tree Collapse file tree 9 files changed +21
-0
lines changed Expand file tree Collapse file tree 9 files changed +21
-0
lines changed Original file line number Diff line number Diff line change 11on :
22 push :
3+ pull_request :
34name : " android"
45jobs :
56 build :
67 name : Building Android
8+ if : github.event_name == 'push' || (github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name != github.repository)
79 runs-on : ubuntu-latest
810 steps :
911 - uses : actions/checkout@v3
Original file line number Diff line number Diff line change 11on :
22 push :
3+ pull_request :
34name : " ios"
45jobs :
56 build :
67 name : Building iOS
8+ if : github.event_name == 'push' || (github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name != github.repository)
79 runs-on : macos-latest
810 steps :
911 - uses : actions/checkout@v3
Original file line number Diff line number Diff line change 11on :
22 push :
3+ pull_request :
34name : " linux"
45jobs :
56 build_x86_64 :
67 name : Building Linux x86_64
8+ if : github.event_name == 'push' || (github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name != github.repository)
79 runs-on : ubuntu-latest
810 steps :
911 - uses : actions/checkout@v3
2123
2224 build_aarch64 :
2325 name : Building Linux aarch64
26+ if : github.event_name == 'push' || (github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name != github.repository)
2427 runs-on : ubuntu-arm64
2528 steps :
2629 - uses : actions/checkout@v3
Original file line number Diff line number Diff line change 11on :
22 push :
3+ pull_request :
34name : " macos"
45jobs :
56 build_macOS_aarch64 :
67 name : Building macOS aarch64
8+ if : github.event_name == 'push' || (github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name != github.repository)
79 runs-on : macos-latest
810 steps :
911 - uses : actions/checkout@v3
2123
2224 build_macOS_x64 :
2325 name : Building macOS x64
26+ if : github.event_name == 'push' || (github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name != github.repository)
2427 runs-on : macos-14
2528 steps :
2629 - uses : actions/checkout@v3
Original file line number Diff line number Diff line change 11on :
22 push :
3+ pull_request :
34name : " tests"
45jobs :
56 build :
67 name : Testing on ${{ matrix.os }}
8+ if : github.event_name == 'push' || (github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name != github.repository)
79 runs-on : ${{ matrix.os }}
810 strategy :
911 fail-fast : false
Original file line number Diff line number Diff line change 66 build :
77 name : Testing with Valgrind on ${{ matrix.os }}
88 runs-on : ${{ matrix.os }}
9+ if : github.event_name == 'push' || (github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name != github.repository)
910 strategy :
1011 matrix :
1112 include :
Original file line number Diff line number Diff line change 11on :
22 push :
3+ pull_request :
34name : " wasm"
45jobs :
56 build_wasm :
67 name : Basic WASM build
8+ if : github.event_name == 'push' || (github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name != github.repository)
79 runs-on : ubuntu-latest
810 steps :
911 - uses : actions/checkout@v3
Original file line number Diff line number Diff line change 11on :
22 push :
3+ pull_request :
34name : " windows"
45jobs :
56 build_windows :
67 name : Building Windows
8+ if : github.event_name == 'push' || (github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name != github.repository)
79 runs-on : windows-latest
810 steps :
911 - uses : actions/checkout@v3
Original file line number Diff line number Diff line change 415415 SELECT CASE
416416 WHEN (NEW.id IS NULL)
417417 THEN RAISE (FAIL, 'id is required')
418+ WHEN (typeof(NEW.id) != 'text')
419+ THEN RAISE (FAIL, 'id should be text')
418420 END;
419421 INSERT INTO "ps_data__lists"
420422 SELECT NEW.id, json_object('description', NEW."description");
478480 SELECT CASE
479481 WHEN (NEW.id IS NULL)
480482 THEN RAISE (FAIL, 'id is required')
483+ WHEN (typeof(NEW.id) != 'text')
484+ THEN RAISE (FAIL, 'id should be text')
481485 END;
482486 INSERT INTO "ps_data__lists"
483487 SELECT NEW.id, json_object('description', NEW."description");
You can’t perform that action at this time.
0 commit comments