continuous integration

no more upstream problems #64452

Sign in to view logs

Triggered via push January 7, 2024 05:24

kim-em

lean-pr-testing-3124

Status Failure

Total duration 6m 50s

Artifacts –

build.yml

on: push

Check all files imported

Cancel Previous Runs (CI)

check workflows

Annotations

8 errors

Build: Mathlib/Tactic/SimpIntro.lean#L24

application type mismatch

Build: Mathlib/Tactic/SimpIntro.lean#L39

application type mismatch

Build: Mathlib/Tactic/SimpIntro.lean#L68

fields missing: 'simprocs'

Build: Mathlib/Util/DischargerAsTactic.lean#L25

typeclass instance problem is stuck, it is often due to metavariables

Build: Mathlib/Tactic/SplitIfs.lean#L67

application type mismatch

Build: Mathlib/Tactic/Simps/Basic.lean#L92

overloaded, errors

Build: Mathlib/Tactic/Simps/Basic.lean#L100

overloaded, errors

The process '/usr/bin/bash' failed with exit code 1