Merge remote-tracking branch 'origin/main' into claude/friendly-ride-…

57f8cfd

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Anchor v1 on: pull_request 5

changes (Anchor v1)

anchor-v1-group-0

summary (Anchor v1)

Rust Lint on: pull_request 2

Rustfmt

Clippy

TypeScript on: pull_request 4

Biome check

Vault strategy app

Pinocchio on: pull_request 2

changes

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

summary

Native on: pull_request 2

changes

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

summary

ASM on: pull_request 4

changes

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

summary

Quasar on: pull_request 7

changes

build-and-test-group-0

lint

summary

Anchor v2 on: pull_request 6

changes

build-and-test-group-0

summary

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 }})

Merge remote-tracking branch 'origin/main' into claude/friendly-ride-…

Uh oh!

Select a check to view from the sidebar