Lint PR Title

fix: add primary_user_id index to app_id_to_user_id #532

Sign in to view logs

Triggered via pull request November 21, 2023 06:00

sattvikc

opened #173

primaryuserid-index

Status Success

Total duration 14s

Artifacts –

lint-pr-title.yml

on: pull_request

Annotations

1 warning

Lint PR title

The following actions uses node12 which is deprecated and will be forced to run on node16: amannn/action-semantic-pull-request@v3. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/