File tree 2 files changed +15
-12
lines changed
2 files changed +15
-12
lines changed Original file line number Diff line number Diff line change 1
- name : generate
1
+ name : Generate PostgreSQL Error Codes
2
2
3
3
on :
4
4
schedule :
@@ -13,20 +13,20 @@ jobs:
13
13
- name : Setup PHP
14
14
uses : shivammathur/setup-php@v2
15
15
with :
16
- php-version : ' 8.2 '
16
+ php-version : ' 8.4 '
17
17
18
18
- name : Checkout
19
19
uses : actions/checkout@v4
20
20
21
- - name : Generate
22
- run : make
21
+ - name : Generate PostgreSQL Error Codes
22
+ uses : nick-fields/retry@v3
23
+ with :
24
+ timeout_seconds : 60
25
+ max_attempts : 3
26
+ command : make
23
27
24
- - name : Count changes
25
- id : changes
26
- run : |
27
- git add -N .
28
- git diff --name-only --exit-code
29
- continue-on-error : true
28
+ - name : Syntax check
29
+ run : php -l -n -d error_reporting=E_ALL ./src/PostgresError.php
30
30
31
31
- name : Create Pull Request
32
32
uses : peter-evans/create-pull-request@v6
38
38
Error codes have been updated.
39
39
40
40
- https://github.com/postgres/postgres/blob/master/src/backend/utils/errcodes.txt
41
- if : steps.changes.outcome == 'failure'
Original file line number Diff line number Diff line change 37
37
uses : actions/checkout@v4
38
38
39
39
- name : Install dependencies
40
- run : composer install --quiet --no-ansi --prefer-dist --no-progress --no-interaction
40
+ uses : nick-fields/retry@v3
41
+ with :
42
+ timeout_seconds : 60
43
+ max_attempts : 3
44
+ command : composer install --quiet --no-plugins --no-ansi --prefer-dist --no-progress --no-interaction
41
45
42
46
- name : Migrate phpunit XML configuration
43
47
run : vendor/bin/phpunit --migrate-configuration || true
You can’t perform that action at this time.
0 commit comments