Skip to content

Actions: yoh-tanimoto/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
158 workflow runs
158 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'leanprover-community:master' into master continuous integration #242: Commit 3c526d2 pushed by yoh-tanimoto
January 19, 2025 03:54 3s master
master
January 19, 2025 03:54 3s
def continuous integration #241: Commit 76403a9 pushed by yoh-tanimoto
January 11, 2025 23:08 3s master
master
January 11, 2025 23:08 3s
Update lattice2d.lean continuous integration #240: Commit 1112ff9 pushed by yoh-tanimoto
January 11, 2025 23:06 4s copilot
copilot
January 11, 2025 23:06 4s
Update lake-manifest.json continuous integration #239: Commit 060ff56 pushed by yoh-tanimoto
January 11, 2025 19:27 4s copilot
copilot
January 11, 2025 19:27 4s
setting copilot continuous integration #238: Commit 6a98322 pushed by yoh-tanimoto
January 11, 2025 19:19 4s copilot
copilot
January 11, 2025 19:19 4s
lattice continuous integration #237: Commit 0c31ef2 pushed by yoh-tanimoto
January 11, 2025 19:14 4s copilot
copilot
January 11, 2025 19:14 4s
lattice continuous integration #236: Commit 0c31ef2 pushed by yoh-tanimoto
January 2, 2025 00:07 3s master
master
January 2, 2025 00:07 3s
restore continuous integration #235: Commit 1ba1f5f pushed by yoh-tanimoto
January 1, 2025 19:15 4s master
master
January 1, 2025 19:15 4s
feat(CategoryTheory/Shift/Adjunction): commutation with shifts and ad… continuous integration #234: Commit 504007f pushed by yoh-tanimoto
January 1, 2025 19:11 4s master
master
January 1, 2025 19:11 4s
setting copilot continuous integration #233: Commit 434384e pushed by yoh-tanimoto
December 23, 2024 15:02 4s copilot
copilot
December 23, 2024 15:02 4s
feat(RingTheory/HahnSeries/Summable): define summable smulFamily (#20… continuous integration #232: Commit df6f676 pushed by yoh-tanimoto
December 23, 2024 14:25 5s copilot
copilot
December 23, 2024 14:25 5s
Update urysohn.lean continuous integration #231: Commit 8298886 pushed by yoh-tanimoto
November 2, 2024 21:17 4s yoh
yoh
November 2, 2024 21:17 4s
obsolete continuous integration #230: Commit ca41339 pushed by yoh-tanimoto
October 13, 2024 18:42 4s yoh
yoh
October 13, 2024 18:42 4s
Update linearRMK.lean continuous integration #229: Commit 45e2ef5 pushed by yoh-tanimoto
September 28, 2024 12:51 4s yoh
yoh
September 28, 2024 12:51 4s
Merge branch 'leanprover-community:master' into master continuous integration #228: Commit b66b398 pushed by yoh-tanimoto
September 28, 2024 11:54 4s master
master
September 28, 2024 11:54 4s
Update Quotient.lean continuous integration #227: Commit a55ae93 pushed by yoh-tanimoto
September 10, 2024 22:29 4s yoh
yoh
September 10, 2024 22:29 4s
Create Quotient.lean continuous integration #226: Commit 2d0bc30 pushed by yoh-tanimoto
September 5, 2024 10:09 5s yoh
yoh
September 5, 2024 10:09 5s
Update C_c.lean continuous integration #225: Commit 18d7543 pushed by yoh-tanimoto
September 3, 2024 17:20 4s yoh
yoh
September 3, 2024 17:20 4s
Merge branch 'master' into yoh continuous integration #224: Commit 1862b32 pushed by yoh-tanimoto
September 3, 2024 13:39 4s yoh
yoh
September 3, 2024 13:39 4s
Merge branch 'leanprover-community:master' into master continuous integration #223: Commit c7efd22 pushed by yoh-tanimoto
September 3, 2024 13:36 5s master
master
September 3, 2024 13:36 5s
new folder _PRed continuous integration #222: Commit 3d43166 pushed by yoh-tanimoto
July 13, 2024 13:38 4s yoh
yoh
July 13, 2024 13:38 4s
Merge branch 'leanprover-community:master' into yoh continuous integration #221: Commit 81c97f9 pushed by yoh-tanimoto
July 11, 2024 12:50 3s yoh
yoh
July 11, 2024 12:50 3s
Merge branch 'leanprover-community:master' into master continuous integration #220: Commit 638fbee pushed by yoh-tanimoto
July 11, 2024 12:49 5s master
master
July 11, 2024 12:49 5s
Merge branch 'master' into yoh continuous integration #219: Commit c45b6c8 pushed by yoh-tanimoto
June 27, 2024 19:37 4s yoh
yoh
June 27, 2024 19:37 4s
Merge branch 'leanprover-community:master' into master continuous integration #218: Commit b4f6b27 pushed by yoh-tanimoto
June 27, 2024 19:32 4s master
master
June 27, 2024 19:32 4s