File tree 9 files changed +21
-0
lines changed
9 files changed +21
-0
lines changed Original file line number Diff line number Diff line change 1
1
on :
2
2
push :
3
+ pull_request :
3
4
name : " android"
4
5
jobs :
5
6
build :
6
7
name : Building Android
8
+ if : github.event_name == 'push' || (github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name != github.repository)
7
9
runs-on : ubuntu-latest
8
10
steps :
9
11
- uses : actions/checkout@v3
Original file line number Diff line number Diff line change 1
1
on :
2
2
push :
3
+ pull_request :
3
4
name : " ios"
4
5
jobs :
5
6
build :
6
7
name : Building iOS
8
+ if : github.event_name == 'push' || (github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name != github.repository)
7
9
runs-on : macos-latest
8
10
steps :
9
11
- uses : actions/checkout@v3
Original file line number Diff line number Diff line change 1
1
on :
2
2
push :
3
+ pull_request :
3
4
name : " linux"
4
5
jobs :
5
6
build_x86_64 :
6
7
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)
7
9
runs-on : ubuntu-latest
8
10
steps :
9
11
- uses : actions/checkout@v3
21
23
22
24
build_aarch64 :
23
25
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)
24
27
runs-on : ubuntu-arm64
25
28
steps :
26
29
- uses : actions/checkout@v3
Original file line number Diff line number Diff line change 1
1
on :
2
2
push :
3
+ pull_request :
3
4
name : " macos"
4
5
jobs :
5
6
build_macOS_aarch64 :
6
7
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)
7
9
runs-on : macos-latest
8
10
steps :
9
11
- uses : actions/checkout@v3
21
23
22
24
build_macOS_x64 :
23
25
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)
24
27
runs-on : macos-14
25
28
steps :
26
29
- uses : actions/checkout@v3
Original file line number Diff line number Diff line change 1
1
on :
2
2
push :
3
+ pull_request :
3
4
name : " tests"
4
5
jobs :
5
6
build :
6
7
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)
7
9
runs-on : ${{ matrix.os }}
8
10
strategy :
9
11
fail-fast : false
Original file line number Diff line number Diff line change 6
6
build :
7
7
name : Testing with Valgrind on ${{ matrix.os }}
8
8
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)
9
10
strategy :
10
11
matrix :
11
12
include :
Original file line number Diff line number Diff line change 1
1
on :
2
2
push :
3
+ pull_request :
3
4
name : " wasm"
4
5
jobs :
5
6
build_wasm :
6
7
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)
7
9
runs-on : ubuntu-latest
8
10
steps :
9
11
- uses : actions/checkout@v3
Original file line number Diff line number Diff line change 1
1
on :
2
2
push :
3
+ pull_request :
3
4
name : " windows"
4
5
jobs :
5
6
build_windows :
6
7
name : Building Windows
8
+ if : github.event_name == 'push' || (github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name != github.repository)
7
9
runs-on : windows-latest
8
10
steps :
9
11
- uses : actions/checkout@v3
Original file line number Diff line number Diff line change 415
415
SELECT CASE
416
416
WHEN (NEW.id IS NULL)
417
417
THEN RAISE (FAIL, 'id is required')
418
+ WHEN (typeof(NEW.id) != 'text')
419
+ THEN RAISE (FAIL, 'id should be text')
418
420
END;
419
421
INSERT INTO "ps_data__lists"
420
422
SELECT NEW.id, json_object('description', NEW."description");
478
480
SELECT CASE
479
481
WHEN (NEW.id IS NULL)
480
482
THEN RAISE (FAIL, 'id is required')
483
+ WHEN (typeof(NEW.id) != 'text')
484
+ THEN RAISE (FAIL, 'id should be text')
481
485
END;
482
486
INSERT INTO "ps_data__lists"
483
487
SELECT NEW.id, json_object('description', NEW."description");
You can’t perform that action at this time.
0 commit comments