Skip to content
GitHub macOS CI

Case elaboration treat private inductives like abstract types #4644

Sign in to view logs

Case elaboration treat private inductives like abstract types

Case elaboration treat private inductives like abstract types #4644

Triggered via push January 22, 2025 15:12
@SkySkimmerSkySkimmer
pushed 66a5dfa
case-analysis-private
Status Success
Total duration 24m 52s
Artifacts –

ci-macos.yml

on: push
macOS
24m 41s
macOS
Fit to window
Zoom out
Zoom in