Skip to content

Actions: FordUniver/multicolorramsey

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
84 workflow runs
84 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore(deps): bump github-pages to 232, clear Dependabot alerts Compile blueprint #105: Commit db2a41a pushed by FordUniver
31m 1s master
master
31m 1s
chore: Isolate bundle with vendor path Compile blueprint #104: Commit 6f7e824 pushed by FordUniver
38m 11s master
master
38m 11s
tomathlib/integrable-fin Compile blueprint #103: Pull request #51 synchronize by FordUniver
12m 57s tomathlib/integrable-fin
tomathlib/integrable-fin
12m 57s
tomathlib/sum-expectation-bounds Compile blueprint #102: Pull request #50 synchronize by FordUniver
11m 52s tomathlib/sum-expectation-bounds
tomathlib/sum-expectation-bounds
11m 52s
Blueprint geometric lemma exppos Compile blueprint #101: Pull request #44 synchronize by FordUniver
12m 26s blueprint-geometric-lemma-exppos
blueprint-geometric-lemma-exppos
12m 26s
Blueprint key lemma equivalence Compile blueprint #100: Pull request #43 synchronize by FordUniver
11m 11s blueprint-key-lemma-equivalence
blueprint-key-lemma-equivalence
11m 11s
tomathlib/finset-one-le-prod Compile blueprint #99: Pull request #54 opened by FordUniver
13m 4s tomathlib/finset-one-le-prod
tomathlib/finset-one-le-prod
13m 4s
tomathlib/swap-ite-eq Compile blueprint #98: Pull request #53 synchronize by FordUniver
12m 29s tomathlib/swap-ite-eq
tomathlib/swap-ite-eq
12m 29s
tomathlib/indicator-one-mul Compile blueprint #97: Pull request #47 synchronize by FordUniver
11m 20s tomathlib/indicator-one-mul
tomathlib/indicator-one-mul
11m 20s
tomathlib/ae-le-of-forall-on-le Compile blueprint #96: Pull request #52 synchronize by FordUniver
13m 16s tomathlib/ae-le-of-forall-on-le
tomathlib/ae-le-of-forall-on-le
13m 16s
moved mathlib info to mds in ToMathlib Compile blueprint #95: Commit bd4d991 pushed by FordUniver
13m 0s master
master
13m 0s
tomathlib/swap-ite-eq Compile blueprint #94: Pull request #53 opened by FordUniver
13m 26s tomathlib/swap-ite-eq
tomathlib/swap-ite-eq
13m 26s
tomathlib/ae-le-of-forall-on-le Compile blueprint #93: Pull request #52 opened by FordUniver
12m 24s tomathlib/ae-le-of-forall-on-le
tomathlib/ae-le-of-forall-on-le
12m 24s
Widen Status & PR column in Mathlib contributions table Compile blueprint #92: Commit e5d00f4 pushed by FordUniver
13m 33s master
master
13m 33s
tomathlib/integrable-fin Compile blueprint #91: Pull request #51 opened by FordUniver
12m 18s tomathlib/integrable-fin
tomathlib/integrable-fin
12m 18s
tomathlib/sum-expectation-bounds Compile blueprint #90: Pull request #50 synchronize by FordUniver
12m 26s tomathlib/sum-expectation-bounds
tomathlib/sum-expectation-bounds
12m 26s
tomathlib/even-equiv-nat Compile blueprint #89: Pull request #46 synchronize by FordUniver
12m 27s tomathlib/even-equiv-nat
tomathlib/even-equiv-nat
12m 27s
tomathlib/indicator-one-mul Compile blueprint #88: Pull request #47 synchronize by FordUniver
12m 36s tomathlib/indicator-one-mul
tomathlib/indicator-one-mul
12m 36s
tomathlib/sum-expectation-bounds Compile blueprint #87: Pull request #50 opened by FordUniver
8m 18s tomathlib/sum-expectation-bounds
tomathlib/sum-expectation-bounds
8m 18s
Reorganize Mathlib PR table into two-column layout Compile blueprint #86: Commit 92114aa pushed by FordUniver
11m 44s master
master
11m 44s
tomathlib/even-equiv-nat Compile blueprint #85: Pull request #46 synchronize by FordUniver
12m 54s tomathlib/even-equiv-nat
tomathlib/even-equiv-nat
12m 54s
tomathlib/indicator-one-mul Compile blueprint #84: Pull request #47 synchronize by FordUniver
12m 14s tomathlib/indicator-one-mul
tomathlib/indicator-one-mul
12m 14s
Improve ToMathlib contribution tracking system Compile blueprint #83: Commit 70f0869 pushed by FordUniver
13m 11s master
master
13m 11s
Add ToMathlib.lean root file and update CI to build it Compile blueprint #82: Commit bc785d1 pushed by FordUniver
13m 30s master
master
13m 30s
Merge pull request #49 from FordUniver/revert-48-tomathlib/sum-expect… Compile blueprint #81: Commit f0f7f1d pushed by FordUniver
13m 0s master
master
13m 0s