This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
feat(data/finset/lattice): sup'/inf' lemmas (#18989)
#6610
bors[bot]bors.yml
on: push
Build mathlib
29m 57s
Lint style
16s
Cancel Previous Runs (CI)
6s
Post-CI job
0s
Annotations
2 errors and 1 warning
|
Build mathlib
The run was canceled by @github-actions.
|
|
Build mathlib
The operation was canceled.
|
|
Build mathlib
Runner hoskinson9 did not respond to a cancelation request with 00:05:00.
|