Skip to content
continuous integration

remove align for Subtype.instInhabited #88777

Sign in to view logs

remove align for Subtype.instInhabited

remove align for Subtype.instInhabited #88777

Triggered via push May 3, 2024 01:46
@kmillkmill
pushed 7075a28
lean-pr-testing-4055
Status Failure
Total duration 21m 27s
Artifacts –

build.yml

on: push
Lint style
49s
Lint style
Check all files imported
8s
Check all files imported
Build
21m 19s
Build
Cancel Previous Runs (CI)
2s
Cancel Previous Runs (CI)
check workflows
7s
check workflows
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Build
The process '/usr/bin/env' failed with exit code 1
Build
The process '/usr/bin/bash' failed with exit code 1