continuous integration

Update lean-toolchain for testing https://github.com/leanprover/lean4… #48661

Sign in to view logs

Triggered via push October 12, 2023 09:07

leanprover-community-mathlib4-bot

lean-pr-testing-2648

Status Failure

Total duration 6m 55s

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

2 errors

invalid field 'add', the environment does not contain 'Lean.Environment.add'

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