Skip to content

Actions: leanprover-community/plausible

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_ci.yml
62 workflow runs
62 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bump to v4.14.0-rc1 Lean Action CI #12: Commit 5b432ce pushed by kim-em
November 4, 2024 01:37 42s nightly-testing
nightly-testing
November 4, 2024 01:37 42s
Merge pull request #2 from eric-wieser/ulift Lean Action CI #11: Commit 3b0b954 pushed by hargoniX
November 3, 2024 12:10 33s main
main
November 3, 2024 12:10 33s
fix: allow sampling from higher universes Lean Action CI #10: Pull request #2 synchronize by eric-wieser
November 3, 2024 11:37 36s eric-wieser:ulift
eric-wieser:ulift
November 3, 2024 11:37 36s
fix: allow sampling from higher universes Lean Action CI #9: Pull request #2 synchronize by eric-wieser
November 3, 2024 11:36 35s eric-wieser:ulift
eric-wieser:ulift
November 3, 2024 11:36 35s
fix: allow sampling from higher universes Lean Action CI #8: Pull request #2 synchronize by eric-wieser
November 3, 2024 11:35 37s eric-wieser:ulift
eric-wieser:ulift
November 3, 2024 11:35 37s
fix: allow sampling from higher universes Lean Action CI #7: Pull request #2 opened by eric-wieser
November 3, 2024 11:34 54s eric-wieser:ulift
eric-wieser:ulift
November 3, 2024 11:34 54s
update to nightly-2024-11-01 Lean Action CI #6: Commit e17cfec pushed by kim-em
November 1, 2024 09:59 42s nightly-testing
nightly-testing
November 1, 2024 09:59 42s
test: port test from mathlib Lean Action CI #5: Commit d212dd7 pushed by hargoniX
October 30, 2024 19:49 37s main
main
October 30, 2024 19:49 37s
chore: upgrade batteries Lean Action CI #4: Commit deda608 pushed by hargoniX
October 28, 2024 12:43 44s main
main
October 28, 2024 12:43 44s
doc: update README Lean Action CI #3: Commit b5a2fa0 pushed by hargoniX
October 24, 2024 09:34 32s main
main
October 24, 2024 09:34 32s
Create LICENSE Lean Action CI #2: Commit 7ec34fe pushed by hargoniX
October 24, 2024 06:38 45s main
main
October 24, 2024 06:38 45s
feat: initial commit of plausible Lean Action CI #1: Commit 2f7407d pushed by hargoniX
October 24, 2024 06:37 47s main
main
October 24, 2024 06:37 47s