Merge remote-tracking branch 'origin/main' into claude/remove-switchb…

c81d480

Select commit

Loading

Failed to load commit list.

Uh oh!

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

TypeScript on: pull_request 4

Biome check

Vault strategy app

Pinocchio on: pull_request 2

changes

build-and-test-group-${{ matrix.index }}

summary

Anchor v1 on: pull_request 5

changes (Anchor v1)

anchor-v1-group-0

summary (Anchor v1)

Kani on: pull_request 9

Proof unit tests (escrow)

Proof unit tests (token-swap)

Proof unit tests (order-book)

Proof unit tests (lending)

Proof unit tests (betting-market)

Proof unit tests (vault-strategy)

Proof unit tests (token-fundraiser)

Proof unit tests (prop-amm)

Proof unit tests (options)

Kani proofs (${{ matrix.program }})

ASM on: pull_request 4

changes

build-and-test-group-${{ matrix.index }}

summary

Anchor v2 on: pull_request 7

changes

build-and-test-group-0

summary

Rust Lint on: pull_request 2

Rustfmt

Clippy

Quasar on: pull_request 7

changes

build-and-test-group-0

lint

summary

Native on: pull_request 2

changes

build-and-test-group-${{ matrix.index }}

summary

Merge remote-tracking branch 'origin/main' into claude/remove-switchb…

Uh oh!

Select a check to view from the sidebar