Skip to content
continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/3961 #86066

Sign in to view logs

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

Trigger CI for https://github.com/leanprover/lean4/pull/3961 #86066

Triggered via push April 20, 2024 16:21
@leanprover-community-mathlib4-botleanprover-community-mathlib4-bot
pushed 741a9d7
lean-pr-testing-3961
Status Failure
Total duration 3m 44s
Artifacts –

build.yml

on: push
Lint style
42s
Lint style
Check all files imported
9s
Check all files imported
Build
3m 37s
Build
Cancel Previous Runs (CI)
4s
Cancel Previous Runs (CI)
check workflows
12s
check workflows
Post-CI job
0s
Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

20 errors
Build
type mismatch
Build
expected type must not contain free or meta variables
Build
type mismatch
Build
expected type must not contain free or meta variables
Build
type mismatch
Build
expected type must not contain free or meta variables
Build
type mismatch
Build
expected type must not contain free or meta variables
Build
type mismatch
Build
expected type must not contain free or meta variables
Build
type mismatch
Build
expected type must not contain free or meta variables
Build
type mismatch
Build
expected type must not contain free or meta variables
Build
type mismatch
Build
expected type must not contain free or meta variables
Build
type mismatch
Build
expected type must not contain free or meta variables
Build
type mismatch
Build
expected type must not contain free or meta variables