This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

continuous integration

global bound #120994

Sign in to view logs

Triggered via push October 1, 2023 01:58

b-mehta

exponential-ramsey

Status Cancelled

Total duration 10m 52s

Artifacts –

build.yml

on: push

Cancel Previous Runs (CI)

Annotations

3 errors and 1 warning

Lint style: src/combinatorics/simple_graph/exponential_ramsey/basic.lean#L204

ERR_LIN: Line has more than 100 characters

Process completed with exit code 123.

Build mathlib

The run was canceled by @github-actions.

Build mathlib

Runner hoskinson1 did not respond to a cancelation request with 00:05:00.