continuous integration

Filtered.Small adaption for https://github.com/leanprover/lean4/pull/… #88901

Sign in to view logs

Triggered via push May 3, 2024 14:32

nomeata

lean-pr-testing-4061

Status Cancelled

Total duration 8m 23s

Artifacts –

build.yml

on: push

Check all files imported

Cancel Previous Runs (CI)

check workflows

Annotations

2 errors

The run was canceled by @github-actions[bot].

The operation was canceled.