continuous integration

Merge remote-tracking branch 'origin/nightly-testing' into lean-pr-te… #93316

Sign in to view logs

Triggered via push May 23, 2024 17:18

JovanGerb

lean-pr-testing-4152

Status Failure

Total duration 14m 58s

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