continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/4301 #98615

Sign in to view logs

Re-run triggered June 14, 2024 04:45

david-christiansen

lean-pr-testing-4301

Status Failure

Total duration 5m 23s

Artifacts –

build.yml

on: push

Check all files imported

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