Skip to content
Pull Request Metadata

feat(planner): prove migrations and diffs from SQLQuack parse trees #3094

Sign in to view logs

feat(planner): prove migrations and diffs from SQLQuack parse trees

feat(planner): prove migrations and diffs from SQLQuack parse trees #3094

Triggered via pull request November 8, 2026 03:38
@kvlongekvlonge
opened #1363
feat/planner-proofs-sqlquack
Status Success
Total duration 6m 57s
Artifacts –

pull-request-metadata.yml

on: pull_request
Pull Request Metadata
8s
Pull Request Metadata
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Pull Request Metadata
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/