Merge main into the betting-market draft-state branch

ca97763

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Native on: pull_request 2

changes

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

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

Rust Lint on: pull_request 2

Rustfmt

Clippy

Quasar on: pull_request 7

changes

build-and-test-group-0

lint

summary

TypeScript on: pull_request 4

Biome check

Vault strategy app

Pinocchio 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

Anchor v1 on: pull_request 2

changes (Anchor v1)

anchor-v1-group-${{ matrix.index }}

summary (Anchor v1)

Anchor v2 on: pull_request 6

changes

build-and-test-group-0

summary

Merge main into the betting-market draft-state branch

Uh oh!

Select a check to view from the sidebar