ci: align vstd with pinned Verus release

ac355d9

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Microsoft GitHub Policy Service

license/cla

dependabot/refresh-cargo-lockfiles on: pull_request_target 2

refresh-cargo-lockfiles

Dependency Audits on: pull_request 27

Cargo Audit (Cargo.lock)

Cargo Audit (bindings/ffi/Cargo.lock)

Cargo Audit (bindings/java/Cargo.lock)

Cargo Audit (bindings/python/Cargo.lock)

Cargo Audit (bindings/ruby/Cargo.lock)

Cargo Audit (bindings/wasm/Cargo.lock)

Cargo Deny (Cargo.toml)

Cargo Deny (bindings/ffi/Cargo.toml)

Cargo Deny (bindings/java/Cargo.toml)

Cargo Deny (bindings/python/Cargo.toml)

Cargo Deny (bindings/ruby/Cargo.toml)

Cargo Deny (bindings/ruby/ext/regorusrb/Cargo.toml)

Cargo Deny (bindings/wasm/Cargo.toml)

Cargo Deny (tests/ensure_no_std/Cargo.toml)

Cargo Deny (xtask/Cargo.toml)

tests/release on: pull_request 1

test

bindings/csharp on: pull_request 3

Build Regorus FFI: (x86_64-pc-windows-msvc)

Build Regorus FFI: (x86_64-unknown-linux-gnu)

Build Regorus FFI: (aarch64-apple-darwin)

Build Regorus nuget

Test Regorus Nuget: (x86_64-pc-windows-msvc)

Test Regorus Nuget: (x86_64-unknown-linux-gnu)

Test Regorus Nuget: (aarch64-apple-darwin)

musl on: pull_request 1

test

verus on: pull_request 1

verify

bindings/python on: pull_request 2

build (ubuntu-22.04, x86_64-unknown-linux-gnu)

build (windows-2022, x86_64-pc-windows-msvc)

test (ubuntu-24.04, 3.10)

test (ubuntu-24.04, 3.11)

test (ubuntu-24.04, 3.12)

test (ubuntu-24.04, 3.13)

test (ubuntu-22.04, 3.10)

test (ubuntu-22.04, 3.11)

test (ubuntu-22.04, 3.12)

test (ubuntu-22.04, 3.13)

test (windows-2022, 3.10)

test (windows-2022, 3.11)

test (windows-2022, 3.12)

test (windows-2022, 3.13)

bindings/ruby on: pull_request

test

tests/debug on: pull_request 1

test

bindings/wasm on: pull_request 1

test

bindings/java on: pull_request 2

test

bindings/go on: pull_request 2

test

bindings/ffi on: pull_request 1

test

bindings/c-cpp on: pull_request 1

test

tests/release-extensions on: pull_request 1

test

CodeQL Security Analysis on: pull_request 12

Analyze (rust)

Analyze (c-cpp)

Analyze (python)

Analyze (java-kotlin)

Analyze (go)

Analyze (csharp)

Analyze (javascript-typescript)

bindings/no-std on: pull_request 1

build

rust-clippy analyze on: pull_request 1

Run rust-clippy analyzing

Code scanning results

CodeQL

clippy

Select a check to view from the sidebar