continuous integration

Partrec, List.Sym, Factorization.Basic adaption for https://github.co… #89404

Sign in to view logs

Triggered via push May 6, 2024 09:05

nomeata

lean-pr-testing-4061

Status Failure

Total duration 3m 11s

Artifacts –

build.yml

on: push

Check all files imported

Cancel Previous Runs (CI)

check workflows

Annotations

2 errors

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

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