Skip to content
Kani Format Check

List Subcommand Improvements #8953

Sign in to view logs

List Subcommand Improvements

List Subcommand Improvements #8953

Triggered via pull request November 20, 2024 03:03
@carolynzechcarolynzech
synchronize #3729
carolynzech:list-improvements
Status Success
Total duration 3m 17s
Artifacts –

format-check.yml

on: pull_request
format-check
6s
format-check
clippy-check
3m 8s
clippy-check
Fit to window
Zoom out
Zoom in