Skip to content
Kani Format Check

Avoid mismatch when generating structs that represent scalar data but also include ZSTs #5281

Sign in to view logs

Avoid mismatch when generating structs that represent scalar data but also include ZSTs

Avoid mismatch when generating structs that represent scalar data but also include ZSTs #5281

Triggered via pull request September 29, 2023 15:56
@adpaco-awsadpaco-aws
synchronize #2794
adpaco-aws:issue-2860
Status Success
Total duration 3m 4s
Artifacts –

format-check.yml

on: pull_request
format-check
11s
format-check
clippy-check
2m 53s
clippy-check
Fit to window
Zoom out
Zoom in