continuous integration

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

Sign in to view logs

Triggered via push December 16, 2023 16:23

leanprover-community-mathlib4-bot

lean-pr-testing-2967

Status Cancelled

Total duration 27m 17s

Artifacts –

build.yml

on: push

Check all files imported

Cancel Previous Runs (CI)

check workflows

Annotations

2 errors

The run was canceled by @github-actions[bot].

The operation was canceled.