Skip to content

Actions: leanprover-community/plausible

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
54 workflow runs
54 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #12 from leanprover-community/bump_to_v4.16.0-rc2 Lean Action CI #64: Commit 1a723fb pushed by kim-em
January 14, 2025 02:54 28s v4.16.0-rc2
v4.16.0-rc2
January 14, 2025 02:54 28s
Merge pull request #12 from leanprover-community/bump_to_v4.16.0-rc2 Lean Action CI #63: Commit 1a723fb pushed by kim-em
January 14, 2025 02:44 45s main
main
January 14, 2025 02:44 45s
chore: bump to v4.16.0-rc2 Lean Action CI #62: Pull request #12 opened by kim-em
January 14, 2025 02:41 45s bump_to_v4.16.0-rc2
bump_to_v4.16.0-rc2
January 14, 2025 02:41 45s
chore: bump to v4.16.0-rc2 Lean Action CI #61: Commit 1a28b4d pushed by kim-em
January 14, 2025 02:41 47s bump_to_v4.16.0-rc2
bump_to_v4.16.0-rc2
January 14, 2025 02:41 47s
fix adaptation note Lean Action CI #60: Commit 7a6030b pushed by kim-em
January 5, 2025 21:15 39s nightly-testing
nightly-testing
January 5, 2025 21:15 39s
patches for nightly-2025-01-04, and drop Batteries dependency Lean Action CI #59: Commit 189ebbf pushed by kim-em
January 4, 2025 23:33 38s nightly-testing
nightly-testing
January 4, 2025 23:33 38s
Merge pull request #11 from leanprover-community/bump_to_v4.16.0-rc1 Lean Action CI #58: Commit 1622a86 pushed by kim-em
January 4, 2025 05:24 28s v4.16.0-rc1
v4.16.0-rc1
January 4, 2025 05:24 28s
Merge pull request #11 from leanprover-community/bump_to_v4.16.0-rc1 Lean Action CI #57: Commit 1622a86 pushed by kim-em
January 4, 2025 05:24 42s main
main
January 4, 2025 05:24 42s
chore: bump toolchain to v4.16.0-rc1 Lean Action CI #56: Pull request #11 opened by kim-em
January 4, 2025 05:22 52s bump_to_v4.16.0-rc1
bump_to_v4.16.0-rc1
January 4, 2025 05:22 52s
chore: bump toolchain to v4.16.0-rc1 Lean Action CI #55: Commit 3fef4fd pushed by kim-em
January 4, 2025 05:22 45s bump_to_v4.16.0-rc1
bump_to_v4.16.0-rc1
January 4, 2025 05:22 45s
Merge pull request #10 from leanprover-community/bump_to_v4.15.0 Lean Action CI #54: Commit 2c57364 pushed by kim-em
January 4, 2025 03:37 33s v4.15.0
v4.15.0
January 4, 2025 03:37 33s
Merge pull request #10 from leanprover-community/bump_to_v4.15.0 Lean Action CI #53: Commit 2c57364 pushed by kim-em
January 4, 2025 03:37 52s main
main
January 4, 2025 03:37 52s
chore: bump toolchain to v4.15.0 Lean Action CI #52: Pull request #10 opened by kim-em
January 4, 2025 03:36 45s bump_to_v4.15.0
bump_to_v4.15.0
January 4, 2025 03:36 45s
chore: bump toolchain to v4.15.0 Lean Action CI #51: Commit 93d9635 pushed by kim-em
January 4, 2025 03:35 44s bump_to_v4.15.0
bump_to_v4.15.0
January 4, 2025 03:35 44s
Merge pull request #9 from leanprover-community/bump_toolchain_to_v4.… Lean Action CI #50: Commit 8e5cb8d pushed by kim-em
December 2, 2024 03:31 45s v4.15.0-rc1
v4.15.0-rc1
December 2, 2024 03:31 45s
Merge pull request #9 from leanprover-community/bump_toolchain_to_v4.… Lean Action CI #49: Commit 8e5cb8d pushed by kim-em
December 2, 2024 03:31 51s main
main
December 2, 2024 03:31 51s
Merge pull request #8 from leanprover-community/bump_toolchain_to_v4.… Lean Action CI #48: Commit 2eef74a pushed by kim-em
December 2, 2024 03:30 25s v4.14.0
v4.14.0
December 2, 2024 03:30 25s
chore: bump toolchain to v4.15.0-rc1 Lean Action CI #47: Pull request #9 opened by kim-em
December 2, 2024 03:30 50s bump_toolchain_to_v4.15.0-rc1
bump_toolchain_to_v4.15.0-rc1
December 2, 2024 03:30 50s
merge Lean Action CI #46: Commit 7d0da3f pushed by kim-em
December 2, 2024 03:30 48s bump_toolchain_to_v4.15.0-rc1
bump_toolchain_to_v4.15.0-rc1
December 2, 2024 03:30 48s
fix Lean Action CI #45: Commit d64043d pushed by kim-em
December 2, 2024 03:29 53s bump_toolchain_to_v4.15.0-rc1
bump_toolchain_to_v4.15.0-rc1
December 2, 2024 03:29 53s
Merge pull request #8 from leanprover-community/bump_toolchain_to_v4.… Lean Action CI #44: Commit 2eef74a pushed by kim-em
December 2, 2024 03:29 47s main
main
December 2, 2024 03:29 47s
chore: bump toolchain to v4.14.0 Lean Action CI #43: Pull request #8 opened by kim-em
December 2, 2024 03:28 52s bump_toolchain_to_v4.14.0
bump_toolchain_to_v4.14.0
December 2, 2024 03:28 52s
chore: bump toolchain to v4.14.0 Lean Action CI #42: Commit a8e6ae8 pushed by kim-em
December 2, 2024 03:27 53s bump_toolchain_to_v4.14.0
bump_toolchain_to_v4.14.0
December 2, 2024 03:27 53s
deprecations Lean Action CI #36: Commit d1fe662 pushed by kim-em
November 28, 2024 10:52 53s nightly-testing
nightly-testing
November 28, 2024 10:52 53s
fix Lean Action CI #30: Commit 479f69a pushed by kim-em
November 19, 2024 05:47 49s lean-pr-testing-6104
lean-pr-testing-6104
November 19, 2024 05:47 49s