Skip to content

Update toolchain to 2024-09-23 (#3544) #10

Update toolchain to 2024-09-23 (#3544)

Update toolchain to 2024-09-23 (#3544) #10

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 Deny
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@v2
with:
arguments: --all-features --workspace
command-arguments: -s