continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/4154 #96281

Sign in to view logs

Triggered via push June 3, 2024 15:24

leanprover-community-mathlib4-bot

lean-pr-testing-4154

Status Failure

Total duration 6m 22s

Artifacts –

build.yml

on: push

Cancel Previous Runs (CI)

check workflows

summarize_declarations

Annotations

2 errors

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

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