8146282642
92%

Ran 04 Mar 2024 08:09PM UTC

Jobs 1

Files 75

Run time 1min

Badge

Embed ▾

Committed 04 Mar 2024 07:56PM UTC coverage: 93.28%. Remained the same

Build # 8146282642

Build Type

push

github

Committed by

evanelias

Commit Message

lint-reserved-word: fix two MariaDB reserved word entries

This commit adjusts reserved-word handling for MariaDB for two cases, based on
more recent updates to the MariaDB Server manual's reserved word list
documentation:

* position: this is not actually a reserved word in MariaDB; their manual
  erroneously stated otherwise, but this was corrected two months ago.

* row_number: this is a reserved word in MariaDB 10.7+, but was not listed
  as such in the manual until a year ago.

The list-reserved-word linter check now handles these words correctly.

Coverage Stats

9716 of 10416 relevant lines covered (93.28%)

1.12 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	8146282642.1	04 Mar 2024 08:09PM UTC	0	93.28	GitHub Action Run

Source Files on build 8146282642

Detailed source file information is not available for this build.

skeema / skeema / 8146282642
92%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 8146282642

skeema / skeema / 8146282642 92%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 8146282642

skeema / skeema / 8146282642
92%

README BADGES
x