Merge remote-tracking branch 'origin/chore/lints-c' into HEAD

2440af0

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

CodeQL on: dynamic 2

Analyze (actions)

Analyze (javascript-typescript)

Real proxy on: pull_request 1

Changes

Real proxy

Issue state on: pull_request

One state label per issue

Demote a task:ready task whose Technical spec is emptied

Demote a task:ready task whose spec fails the lint

Reporter replied on bug:needs-info

Last sub-issue closed, close its feature and request

Feature completed, close its request

PR closed without merge releases the claim

Release claims with no activity

Close silent bug:needs-info

Branch name closes its issue

PR body

Website on: pull_request

build

deploy

CI on: pull_request 12

Static checks

Unit tests

Timing tests

E2E (1/3)

E2E (2/3)

E2E (3/3)

Changes

Fallow

Protocol bump

Docs surface

Quality

Console (1/4)

Console (2/4)

Console (3/4)

Console (4/4)

Console

Code scanning results

CodeQL