Continuous integration

Drop file handle just to be extra certain #2917

Sign in to view logs

Triggered via pull request October 3, 2024 00:06

blt

synchronize #1019

blt/drop_file_handle_just_to_be_extra_certain

Status Success

Total duration 31m 53s

Artifacts –

ci.yml

on: pull_request

Integration Tests

Matrix: Kani Proofs

Matrix: Loom Proofs

Matrix: Rust Actions (Check/Fmt/Clippy)

Annotations

1 warning

No github_token supplied, API requests will be subject to stricter rate limiting