Pull Request Metadata

Workflow runs for Pull Request Metadata

• fix(syntax-coverage): fail on a not-submitted entry whose case has a receipt An unobservable entry with cause = "not_submitted" keeps its obligation unverifiable whatever its cases' receipts, so obligations stayed unsatisfied after their cases were recorded. The check now fails when a listed case has a current syntax receipt with its sql_sha256, and the 3,545 such entries are removed, with evidence pinned to 742cb3eb.

  completed successfully:
  Pull Request Metadata#118:Merge group checks requested
  Nov 12, 20266s
  More actions for workflow run 118

• Pull Request Metadata

  completed successfully:
  Pull Request Metadata#117:Manually runbygithub-actions[bot]Bot
  release-please--branches--main--components--sqlquack

  Nov 12, 202611s
  More actions for workflow run 117

• chore(main): release 0.6.0

  completed successfully:
  Pull Request Metadata#116:Pull request#174synchronizebygithub-actions[bot]Bot
  release-please--branches--main--components--sqlquack

  Nov 12, 202612s
  More actions for workflow run 116

• fix(syntax-coverage): fail on a not-submitted entry whose case has a receipt

  completed successfully:
  Pull Request Metadata#115:Pull request#190openedbykvlonge
  fix/syntax-lift-not-submitted

  Nov 12, 202612s
  More actions for workflow run 115

• fix(syntax): keep the parse in parse_strict so the instruction guard counts it parse_strict only called strict_statements, so it compiled to a single jump, and the release pull request's CI build counted nothing in it: callgrind's collection starts at parse_strict's entry. strict_statements is now inlined into it, its one caller, and parse_strict is never inlined into a caller.

  completed successfully:
  Pull Request Metadata#114:Merge group checks requested
  Nov 12, 20268s
  More actions for workflow run 114

• chore(main): release 0.6.0

  completed successfully:
  Pull Request Metadata#113:Pull request#174synchronizebygithub-actions[bot]Bot
  release-please--branches--main--components--sqlquack

  Nov 12, 202615s
  More actions for workflow run 113

• Pull Request Metadata

  completed successfully:
  Pull Request Metadata#112:Manually runbygithub-actions[bot]Bot
  release-please--branches--main--components--sqlquack

  Nov 12, 202610s
  More actions for workflow run 112

• Pull Request Metadata

  completed successfully:
  Pull Request Metadata#111:Manually runbygithub-actions[bot]Bot
  release-please--branches--main--components--sqlquack

  Nov 12, 202611s
  More actions for workflow run 111

• chore(main): release 0.6.0

  completed successfully:
  Pull Request Metadata#110:Pull request#174synchronizebygithub-actions[bot]Bot
  release-please--branches--main--components--sqlquack

  Nov 12, 202611s
  More actions for workflow run 110

• fix(syntax-receipts): place replication not enabled for the account as semantic Errno 3078 (SQLSTATE 55000, "Replication is not enabled for your account") was refused as having no established phase. Snowflake parses the statement before this check: in CREATE FAILOVER GROUP, CREATE REPLICATION GROUP and CREATE DATABASE ... AS REPLICA OF, every case Snowflake rejects as malformed returns errno 1003, including one-token near misses of statements that reach errno 3078, and only statements that parse reach e...

  completed successfully:
  Pull Request Metadata#109:Merge group checks requested
  Nov 12, 20267s
  More actions for workflow run 109

• fix(syntax): keep the parse in parse_strict so the instruction guard counts it

  completed successfully:
  Pull Request Metadata#108:Pull request#189openedbykvlonge
  fix/parse-strict-instruction-guard

  Nov 12, 202613s
  More actions for workflow run 108

• feat(convert): run JOIN without ON as a cross join and name more unaliased columns JOIN, INNER JOIN, LEFT JOIN and FULL JOIN without ON convert to CROSS JOIN, as Snowflake runs them: no rows when either side is empty. A later RIGHT or FULL JOIN with ON applies to the whole join so far, as recorded. RIGHT JOIN without ON, and one before a FULL JOIN with USING, are unrecorded and stay refused. Unaliased SUBSTR, FLOOR, CEIL, NULLIF, TO_DATE and MONTH calls, empty text, $n positions and a one-key VARIANT p...

  completed successfully:
  Pull Request Metadata#107:Merge group checks requested
  Nov 12, 20269s
  More actions for workflow run 107

• fix(syntax-receipts): place replication not enabled for the account as semantic

  completed successfully:
  Pull Request Metadata#106:Pull request#188openedbykvlonge
  fix/import-replication-errno

  Nov 12, 202612s
  More actions for workflow run 106

• feat(convert): run JOIN without ON as a cross join and name more unaliased columns

  completed successfully:
  Pull Request Metadata#105:Pull request#187synchronizebykvlonge
  feat/convert-join-without-on-and-column-names

  Nov 12, 202611s
  More actions for workflow run 105

• Pull Request Metadata

  completed successfully:
  Pull Request Metadata#104:Manually runbygithub-actions[bot]Bot
  release-please--branches--main--components--sqlquack

  Nov 12, 20269s
  More actions for workflow run 104

• chore(main): release 0.6.0

  completed successfully:
  Pull Request Metadata#103:Pull request#174synchronizebygithub-actions[bot]Bot
  release-please--branches--main--components--sqlquack

  Nov 12, 202623s
  More actions for workflow run 103

• feat(syntax): check Snowflake views and streams against their grammar

  completed successfully:
  Pull Request Metadata#102:Pull request#185editedbykvlonge
  feat/syntax-ddl-views

  Nov 12, 202613s
  More actions for workflow run 102

• test(analysis): expect TOP to convert and == to be refused as Snowflake rejects it The analysis test still expected TOP to be refused as a missing rule. TOP now converts as LIMIT, TOP PERCENT is refused, and == is refused before conversion.

  completed successfully:
  Pull Request Metadata#101:Merge group checks requested
  Nov 12, 20267s
  More actions for workflow run 101

• fix(syntax): keep the source range of Snowflake table column names The table grammar built column and external names without their token's range, so a refused ALTER TABLE ADD COLUMN pointed only at the table name. Names now keep the range of the token they were read from.

  completed successfully:
  Pull Request Metadata#100:Merge group checks requested
  Nov 12, 20266s
  More actions for workflow run 100

• chore(main): release 0.6.0

  completed successfully:
  Pull Request Metadata#99:Pull request#174synchronizebygithub-actions[bot]Bot
  release-please--branches--main--components--sqlquack

  Nov 12, 202615s
  More actions for workflow run 99

• Pull Request Metadata

  completed successfully:
  Pull Request Metadata#98:Manually runbygithub-actions[bot]Bot
  release-please--branches--main--components--sqlquack

  Nov 12, 202614s
  More actions for workflow run 98

• feat(convert): run JOIN without ON as a cross join and name more unaliased columns

  completed successfully:
  Pull Request Metadata#97:Pull request#187editedbykvlonge
  feat/convert-join-without-on-and-column-names

  Nov 11, 202611s
  More actions for workflow run 97

• feat(convert): run JOIN without ON as a cross join and name more unaliased columns

  completed successfully:
  Pull Request Metadata#96:Pull request#187synchronizebykvlonge
  feat/convert-join-without-on-and-column-names

  Nov 11, 202612s
  More actions for workflow run 96

• fix(syntax-receipts): import execute runs that have no run database A capture run that executes each case once in a fresh session, without a run-owned database, names its capture in the start event but uses neither the scripting submission nor the compile-only EXPLAIN method, so the importer refused the whole run as matching no known driver. The packet driver already reads such runs, with an empty setup; it now handles them.

  completed successfully:
  Pull Request Metadata#95:Merge group checks requested
  Nov 11, 202642s
  More actions for workflow run 95

• fix(convert): refuse == and convert TOP and FETCH FIRST to LIMIT

  completed successfully:
  Pull Request Metadata#94:Pull request#183synchronizebykvlonge
  feat/convert-top-fetch-refuse-double-equals

  Nov 11, 20261m 12s
  More actions for workflow run 94