Skip to content
Check Format

Merge pull request #2 from verus-lang/veritas #19

Sign in to view logs

Merge pull request #2 from verus-lang/veritas

Merge pull request #2 from verus-lang/veritas #19

Triggered via push March 20, 2025 18:48
@Chris-HawblitzelChris-Hawblitzel
pushed c1c0531
main
Status Failure
Total duration 2m 0s
Artifacts –

format.yml

on: push
Check Verus Format
1m 54s
Check Verus Format
Fit to window
Zoom out
Zoom in

Annotations

1 error
Check Verus Format
Process completed with exit code 1.