Skip to content
continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/8276 #190141

Sign in to view logs

Trigger CI for https://github.com/leanprover/lean4/pull/8276

Trigger CI for https://github.com/leanprover/lean4/pull/8276 #190141

Triggered via push May 12, 2025 07:21
@ghostghost
pushed d959104
lean-pr-testing-8276
Status Failure
Total duration 38m 47s
Artifacts –

build.yml

on: push
Lint style
1m 55s
Lint style
Build
38m 40s
Build
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Build
The process '/usr/bin/env' failed with exit code 1
Build: Mathlib/Data/BitVec.lean#L59
Application type mismatch: In the appplication
Build: Mathlib/Data/BitVec.lean#L78
tactic 'unfold' failed to unfold 'Int.castDef' at
Build: Mathlib/Data/BitVec.lean#L92
Application type mismatch: In the appplication
Build
The process '/usr/bin/bash' failed with exit code 1