Skip to content

finance/options: fully collateralized options venue in Anchor v2, Anchor v1, and Quasar, with Kani proofs #583

finance/options: fully collateralized options venue in Anchor v2, Anchor v1, and Quasar, with Kani proofs

finance/options: fully collateralized options venue in Anchor v2, Anchor v1, and Quasar, with Kani proofs #583

Triggered via pull request September 6, 2026 06:45
Status Success
Total duration 20m 6s
Artifacts –

anchor.yml

on: pull_request
changes
7s
changes
Matrix: build-and-test
summary
6s
summary
Fit to window
Zoom out
Zoom in

Annotations

14 warnings and 23 notices
build-and-test-group-0
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/setup-node@v4, mozilla-actions/sccache-action@v0.0.9, pnpm/action-setup@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
build-and-test-group-2
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/setup-node@v4, mozilla-actions/sccache-action@v0.0.9, pnpm/action-setup@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
build-and-test-group-3
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/setup-node@v4, mozilla-actions/sccache-action@v0.0.9, pnpm/action-setup@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
build-and-test-group-5
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/setup-node@v4, mozilla-actions/sccache-action@v0.0.9, pnpm/action-setup@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
build-and-test-group-10
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/setup-node@v4, mozilla-actions/sccache-action@v0.0.9, pnpm/action-setup@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
build-and-test-group-4
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/setup-node@v4, mozilla-actions/sccache-action@v0.0.9, pnpm/action-setup@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
build-and-test-group-7
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/setup-node@v4, mozilla-actions/sccache-action@v0.0.9, pnpm/action-setup@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
build-and-test-group-9
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/setup-node@v4, mozilla-actions/sccache-action@v0.0.9, pnpm/action-setup@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
build-and-test-group-1
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/setup-node@v4, mozilla-actions/sccache-action@v0.0.9, pnpm/action-setup@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
build-and-test-group-8
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/setup-node@v4, mozilla-actions/sccache-action@v0.0.9, pnpm/action-setup@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
build-and-test-group-13
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/setup-node@v4, mozilla-actions/sccache-action@v0.0.9, pnpm/action-setup@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
build-and-test-group-6
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/setup-node@v4, mozilla-actions/sccache-action@v0.0.9, pnpm/action-setup@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
build-and-test-group-12
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/setup-node@v4, mozilla-actions/sccache-action@v0.0.9, pnpm/action-setup@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
build-and-test-group-11
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/setup-node@v4, mozilla-actions/sccache-action@v0.0.9, pnpm/action-setup@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
sccache stats
38% - 1195 hits, 1946 misses, 0 errors
sccache stats
42% - 1172 hits, 1622 misses, 0 errors
build-and-test-group-2
skipping IDL generation for ./basics/pyth/anchor (anchor#4947)
sccache stats
43% - 1341 hits, 1803 misses, 0 errors
sccache stats
39% - 1025 hits, 1594 misses, 0 errors
build-and-test-group-5
skipping IDL generation for ./finance/order-book/anchor (anchor#4947)
build-and-test-group-5
skipping IDL generation for ./finance/options/anchor (anchor#4947)
sccache stats
33% - 966 hits, 2003 misses, 0 errors
build-and-test-group-10
skipping IDL generation for ./tokens/token-extensions/metadata/anchor (anchor#4947)
sccache stats
29% - 824 hits, 2056 misses, 0 errors
build-and-test-group-4
skipping IDL generation for ./finance/betting-market/anchor (anchor#4947)
sccache stats
44% - 1508 hits, 1920 misses, 0 errors
sccache stats
38% - 1117 hits, 1837 misses, 0 errors
build-and-test-group-9
skipping IDL generation for ./tokens/token-extensions/default-account-state/anchor (anchor#4947)
sccache stats
34% - 1070 hits, 2074 misses, 0 errors
sccache stats
34% - 1169 hits, 2228 misses, 0 errors
sccache stats
40% - 1552 hits, 2318 misses, 0 errors
sccache stats
35% - 941 hits, 1781 misses, 0 errors
build-and-test-group-6
skipping IDL generation for ./finance/prop-amm/anchor (anchor#4947)
build-and-test-group-6
skipping IDL generation for ./finance/perpetual-futures/anchor (anchor#4947)
sccache stats
27% - 953 hits, 2528 misses, 0 errors
build-and-test-group-12
skipping IDL generation for ./tokens/token-extensions/transfer-hook/allow-block-list-token/anchor (anchor#4947)
sccache stats
38% - 1344 hits, 2204 misses, 0 errors