continuous integration

Trigger CI for https://github.com/leanprover/lean4/pull/7717 #178822

Sign in to view logs

Triggered via push March 29, 2025 22:47

ghost

lean-pr-testing-7717

Status Failure

Total duration 3m 13s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

on: push

Annotations

2 errors

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

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