continuous integration

Switch to Mathlib.Init #117172

Sign in to view logs

Triggered via push August 22, 2024 10:33

nomeata

lean-pr-testing-4154

Status Cancelled

Total duration 52m 51s

Artifacts –

build.yml

on: push

Cancel Previous Runs (CI)

check workflows

Annotations

1 error

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