Skip to content

Actions: leanprover-community/plausible

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #5 from leanprover-community/determ-tests Lean Action CI #26: Commit 42dc02b pushed by hargoniX
November 4, 2024 08:27 32s main
main
November 4, 2024 08:27 32s
chore: make tests deterministic Lean Action CI #25: Pull request #5 opened by hargoniX
November 4, 2024 08:27 28s determ-tests
determ-tests
November 4, 2024 08:27 28s
chore: make tests deterministi-- c Lean Action CI #24: Commit 64a9e5b pushed by hargoniX
November 4, 2024 08:26 38s determ-tests
determ-tests
November 4, 2024 08:26 38s
Merge pull request #4 from leanprover-community/doc_strings Lean Action CI #23: Commit 0f1430e pushed by kim-em
November 4, 2024 05:18 44s main
main
November 4, 2024 05:18 44s
chore: add some doc-strings, so Mathlib is happy Lean Action CI #22: Pull request #4 opened by kim-em
November 4, 2024 05:18 32s doc_strings
doc_strings
November 4, 2024 05:18 32s
chore: add some doc-strings, so Mathlib is happy Lean Action CI #21: Commit c4cea2d pushed by kim-em
November 4, 2024 05:17 31s doc_strings
doc_strings
November 4, 2024 05:17 31s
Merge pull request #3 from leanprover-community/nightly-testing Lean Action CI #20: Commit 859caad pushed by kim-em
November 4, 2024 01:46 43s v4.14.0-rc1
v4.14.0-rc1
November 4, 2024 01:46 43s
Merge pull request #3 from leanprover-community/nightly-testing Lean Action CI #19: Commit 859caad pushed by kim-em
November 4, 2024 01:46 48s main
main
November 4, 2024 01:46 48s
chore: bump toolchain to v4.14.0-rc1 Lean Action CI #18: Pull request #3 synchronize by kim-em
November 4, 2024 01:44 27s nightly-testing
nightly-testing
November 4, 2024 01:44 27s
comment out non-deterministic tests Lean Action CI #17: Commit 1307193 pushed by kim-em
November 4, 2024 01:44 33s nightly-testing
nightly-testing
November 4, 2024 01:44 33s
chore: bump toolchain to v4.14.0-rc1 Lean Action CI #16: Pull request #3 synchronize by kim-em
November 4, 2024 01:42 29s nightly-testing
nightly-testing
November 4, 2024 01:42 29s
hmm, nondeterministic tests Lean Action CI #15: Commit 7729408 pushed by kim-em
November 4, 2024 01:42 28s nightly-testing
nightly-testing
November 4, 2024 01:42 28s
chore: bump toolchain to v4.14.0-rc1 Lean Action CI #14: Pull request #3 synchronize by kim-em
November 4, 2024 01:39 48s nightly-testing
nightly-testing
November 4, 2024 01:39 48s
merge main Lean Action CI #13: Commit 90e7742 pushed by kim-em
November 4, 2024 01:39 48s nightly-testing
nightly-testing
November 4, 2024 01:39 48s
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