Skip to content

Actions: leanprover-community/plausible

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
230 workflow runs
230 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: remove unnecessary private Lean Action CI #357: Commit 264309b pushed by hargoniX
31s main
main
31s
Deriving Handler for Shrinkable (#75) Lean Action CI #356: Commit b85613e pushed by hargoniX
31s main
main
31s
Deriving Handler for Shrinkable Lean Action CI #355: Pull request #75 synchronize by mwhicks1
35s mwhicks1:main
mwhicks1:main
35s
chore: remove redundant visibility modifier (#77) Lean Action CI #353: Commit a3b459a pushed by hargoniX
29s main
main
29s
chore: remove redundant visibility modifier Lean Action CI #352: Pull request #77 opened by Kha
31s Kha:push-nuzuuroszpvz
Kha:push-nuzuuroszpvz
31s
Merge pull request #76 from leanprover-community/move-shrinkable-out-… Lean Action CI #351: Commit 2541d6b pushed by kim-em
31s main
main
31s
refactor: extract Shrinkable to its own non-meta module Lean Action CI #350: Pull request #76 opened by kim-em
31s move-shrinkable-out-of-meta
move-shrinkable-out-of-meta
31s
refactor: extract Shrinkable to its own non-meta module Lean Action CI #349: Commit f5a0b07 pushed by kim-em
35s move-shrinkable-out-of-meta
move-shrinkable-out-of-meta
35s
chore: bump toolchain to v4.30.0-rc1 (#74) Lean Action CI #347: Commit f449eab pushed by Garmelon
33s v4.30.0-rc1
v4.30.0-rc1
33s
chore: bump toolchain to v4.30.0-rc1 (#74) Lean Action CI #346: Commit f449eab pushed by Garmelon
35s main
main
35s
chore: bump toolchain to v4.30.0-rc1 Lean Action CI #345: Pull request #74 opened by Garmelon
37s bump-to-v4.30.0-rc1
bump-to-v4.30.0-rc1
37s
chore: bump toolchain to v4.30.0-rc1 Lean Action CI #344: Commit 1f0eeb2 pushed by Garmelon
33s bump-to-v4.30.0-rc1
bump-to-v4.30.0-rc1
33s
Merge pull request #58 from codyroux/codyroux/rename-test Lean Action CI #343: Commit d11647e pushed by kim-em
38s main
main
38s
chore: rename Test folder to minimize clashes. Lean Action CI #342: Pull request #58 synchronize by kim-em
34s codyroux:codyroux/rename-test
codyroux:codyroux/rename-test
34s
chore: bump toolchain to v4.29.0 (#73) Lean Action CI #341: Commit 83e9093 pushed by Garmelon
31s v4.29.0
v4.29.0
31s
chore: bump toolchain to v4.29.0 (#73) Lean Action CI #340: Commit 83e9093 pushed by Garmelon
36s main
main
36s
chore: bump toolchain to v4.29.0 Lean Action CI #339: Pull request #73 opened by Garmelon
32s bump_to_v4.29.0
bump_to_v4.29.0
32s
chore: bump toolchain to v4.29.0 Lean Action CI #338: Commit 9dffec7 pushed by Garmelon
32s bump_to_v4.29.0
bump_to_v4.29.0
32s
Merge pull request #72 from leanprover-community/bump_to_v4.29.0-rc8 Lean Action CI #337: Commit 22a0afa pushed by kim-em
32s v4.29.0-rc8
v4.29.0-rc8
32s
Merge pull request #72 from leanprover-community/bump_to_v4.29.0-rc8 Lean Action CI #336: Commit 22a0afa pushed by kim-em
32s main
main
32s
chore: bump toolchain to v4.29.0-rc8 Lean Action CI #335: Pull request #72 opened by kim-em
32s bump_to_v4.29.0-rc8
bump_to_v4.29.0-rc8
32s
chore: bump toolchain to v4.29.0-rc8 Lean Action CI #334: Commit 4bdad1f pushed by kim-em
49s bump_to_v4.29.0-rc8
bump_to_v4.29.0-rc8
49s
Merge pull request #71 from leanprover-community/bump_to_v4.29.0-rc7 Lean Action CI #333: Commit 4d955ff pushed by kim-em
29s v4.29.0-rc7
v4.29.0-rc7
29s
Merge pull request #71 from leanprover-community/bump_to_v4.29.0-rc7 Lean Action CI #332: Commit 4d955ff pushed by kim-em
35s main
main
35s
chore: bump toolchain to v4.29.0-rc7 Lean Action CI #331: Pull request #71 opened by kim-em
33s bump_to_v4.29.0-rc7
bump_to_v4.29.0-rc7
33s