continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/3082 #61885

Sign in to view logs

Triggered via push December 20, 2023 14:06

leanprover-community-mathlib4-bot

lean-pr-testing-3082

Status Failure

Total duration 6m 7s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

on: push

Check all files imported

Cancel Previous Runs (CI)

check workflows

Annotations

4 errors

application type mismatch

(kernel) declaration has metavariables 'Lean.Elab.InfoTree.foldInfo'.go'

unknown constant 'Lean.Elab.ContextInfo.save'

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