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

linter self test

feat(combinatorics/simple_graph): More clique lemmas (#19203) #76370

Sign in to view logs

Triggered via push October 22, 2023 23:25

bors[bot]

master

Status Success

Total duration 1m 9s

Artifacts –

lint_self_test.yml

on: push

Matrix: Ensure the linter works