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

Actions: leanprover-community/mathlib3

Actions

linter self test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint_self_test.yml
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge master into YK-card-fiber-eq (using imerge) linter self test #76382: Commit bd29536 pushed by urkud
February 11, 2024 05:58 1m 3s YK-card-fiber-eq
YK-card-fiber-eq
February 11, 2024 05:58 1m 3s
Merge branch 'master' into YK-cont-alternating linter self test #76381: Commit 2851eea pushed by urkud
November 28, 2023 16:05 1m 36s YK-cont-alternating
YK-cont-alternating
November 28, 2023 16:05 1m 36s
Merge branch 'master' into YK-cont-alternating linter self test #76380: Commit 991d1b5 pushed by urkud
November 28, 2023 16:02 1m 19s YK-cont-alternating
YK-cont-alternating
November 28, 2023 16:02 1m 19s
Updated normal correspondence code to Lean 4 linter self test #76379: Commit 6e16239 pushed by ChimiSeanGa
November 27, 2023 16:49 1m 11s normal_correspondence
normal_correspondence
November 27, 2023 16:49 1m 11s
feat(data/{list,multiset,finset}/*): attach and filter lemmas (#1… linter self test #76378: Commit 65a1391 pushed by hmonroe
November 22, 2023 01:59 1m 27s hmonroe_computability
hmonroe_computability
November 22, 2023 01:59 1m 27s
fix linter self test #76377: Commit b6a69bf pushed by eric-wieser
November 12, 2023 12:55 49s eric-wieser/exp-rat
eric-wieser/exp-rat
November 12, 2023 12:55 49s
Merge remote-tracking branch 'origin/master' into eric-wieser/exp-rat linter self test #76376: Commit b275b43 pushed by eric-wieser
November 12, 2023 12:45 1m 5s eric-wieser/exp-rat
eric-wieser/exp-rat
November 12, 2023 12:45 1m 5s
Merge remote-tracking branch 'origin/master' into kneser linter self test #76375: Commit c2a7197 pushed by YaelDillies
October 31, 2023 15:30 1m 31s kneser
kneser
October 31, 2023 15:30 1m 31s
bump linter self test #76374: Commit c1f8e2b pushed by YaelDillies
October 30, 2023 22:52 1m 15s erdos_ginzburg_ziv
erdos_ginzburg_ziv
October 30, 2023 22:52 1m 15s
feat(data/{list,multiset,finset}/*): attach and filter lemmas (#1… linter self test #76373: Commit 65a1391 pushed by bors bot
October 30, 2023 18:28 55s master
master
October 30, 2023 18:28 55s
bump linter self test #76372: Commit 05cb65f pushed by YaelDillies
October 23, 2023 07:19 1m 31s locally_linear_graph
locally_linear_graph
October 23, 2023 07:19 1m 31s
Merge remote-tracking branch 'origin/master' into locally_linear_graph linter self test #76371: Commit d10f1c7 pushed by YaelDillies
October 23, 2023 07:12 1m 32s locally_linear_graph
locally_linear_graph
October 23, 2023 07:12 1m 32s
feat(combinatorics/simple_graph): More clique lemmas (#19203) linter self test #76370: Commit 3365b20 pushed by bors bot
October 22, 2023 23:25 1m 9s master
master
October 22, 2023 23:25 1m 9s
linter linter self test #76369: Commit ae455e7 pushed by b-mehta
October 22, 2023 15:46 3m 11s exponential-ramsey
exponential-ramsey
October 22, 2023 15:46 3m 11s
Merge branch 'master' into polyrith-radical linter self test #76368: Commit 36ca392 pushed by robertylewis
October 18, 2023 01:48 1m 28s polyrith-radical
polyrith-radical
October 18, 2023 01:48 1m 28s
linter linter self test #76367: Commit bb2cf53 pushed by b-mehta
October 16, 2023 19:49 1m 6s exponential-ramsey
exponential-ramsey
October 16, 2023 19:49 1m 6s
move stuff around more linter self test #76366: Commit 8e10cac pushed by b-mehta
October 16, 2023 18:34 1m 2s exponential-ramsey
exponential-ramsey
October 16, 2023 18:34 1m 2s
feat(measure_theory/order/upper_lower): Order-connected sets in ℝⁿ … linter self test #76365: Commit b1abe23 pushed by eric-wieser
October 16, 2023 15:12 2m 14s master
master
October 16, 2023 15:12 2m 14s
feat(measure_theory/order/upper_lower): Order-connected sets in ℝⁿ … linter self test #76364: Commit b1abe23 pushed by eric-wieser
October 16, 2023 15:10 1m 13s eric-wieser/test
eric-wieser/test
October 16, 2023 15:10 1m 13s
feat(measure_theory/order/upper_lower): Order-connected sets in ℝⁿ … linter self test #76363: Commit 4e97610 pushed by bors bot
October 16, 2023 12:40 1m 19s master
master
October 16, 2023 12:40 1m 19s
forward pointer linter self test #76362: Commit 0d69e7c pushed by YaelDillies
October 16, 2023 09:23 1m 4s ord_connected_measurable
ord_connected_measurable
October 16, 2023 09:23 1m 4s
revert hull linter self test #76361: Commit dbb6329 pushed by YaelDillies
October 13, 2023 13:14 1m 7s sperner-again
sperner-again
October 13, 2023 13:14 1m 7s
Merge remote-tracking branch 'origin/master' into sperner-again linter self test #76360: Commit da7a0e2 pushed by YaelDillies
October 13, 2023 13:08 1m 17s sperner-again
sperner-again
October 13, 2023 13:08 1m 17s
chore(set_theory/ordinal/basic): golf (#18547) linter self test #76359: Commit 8ea5598 pushed by eric-wieser
October 11, 2023 13:09 6m 43s eric-wieser/build-cache-for-port-complete'
eric-wieser/build-cache-for-port-complete'
October 11, 2023 13:09 6m 43s
chore(*): add mathlib4 synchronization comments (#19239) linter self test #76358: Commit 573eea9 pushed by eric-wieser
October 11, 2023 13:08 7m 24s eric-wieser/build-cache-for-port-complete
eric-wieser/build-cache-for-port-complete
October 11, 2023 13:08 7m 24s