Skip to content

Stacked Borrows in Kani #6508

Stacked Borrows in Kani

Stacked Borrows in Kani #6508

Workflow file for this run

# Copyright Kani Contributors
# SPDX-License-Identifier: Apache-2.0 OR MIT
# 1. Checks licenses for allowed license.
# 2. Checks Rust-Sec registry for security advisories.
name: Cargo Audit
on:
pull_request:
merge_group:
push:
# Run on changes to branches but not tags.
branches:
- '**'
jobs:
audit:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: EmbarkStudios/cargo-deny-action@v1
with:
arguments: --all-features --workspace
command-arguments: -s