Skip to content
GitHub macOS CI

More informative print for inductive missing constraints error #4531

Sign in to view logs

More informative print for inductive missing constraints error

More informative print for inductive missing constraints error #4531

Triggered via push January 7, 2025 12:37
@SkySkimmerSkySkimmer
pushed b21fedc
inductive-error
Status Failure
Total duration 22m 2s
Artifacts –

ci-macos.yml

on: push
macOS
21m 53s
macOS
Fit to window
Zoom out
Zoom in

Annotations

1 error
macOS
Process completed with exit code 2.