Merge remote-tracking branch 'origin/main' into HEAD

236178c

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)

CI on: pull_request 3

Static checks

Unit tests

Timing tests

E2E (1/3)

E2E (2/3)

E2E (3/3)

Changes

Fallow

Protocol bump

Quality

Console

Issue state on: pull_request 2

One state label per issue

Demote a task:ready task whose Technical spec is emptied

Reporter replied on bug:needs-info

Last sub-issue closed

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

Real proxy on: pull_request

Changes

Real proxy

Code scanning results

CodeQL

Issue state on: pull_request 3

One state label per issue

Demote a task:ready task whose Technical spec is emptied

Reporter replied on bug:needs-info

Last sub-issue closed

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

Issue state on: pull_request

One state label per issue

Demote a task:ready task whose Technical spec is emptied

Reporter replied on bug:needs-info

Last sub-issue closed

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

Select a check to view from the sidebar