Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27,659 workflow run results
27,659 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

perf: faster Nat.repr implementation in C Label PR based on Comment #3433: Issue comment #3876 (comment) created by leanprover-bot
April 11, 2024 22:41 3s
April 11, 2024 22:41 3s
PR release PR release #5868: completed by nomeata
April 11, 2024 22:03 2m 15s
April 11, 2024 22:03 2m 15s
perf: faster Nat.repr implementation in C Label PR based on Comment #3432: Issue comment #3876 (comment) created by leanprover-bot
April 11, 2024 22:00 2s
April 11, 2024 22:00 2s
perf: faster Nat.repr implementation in C Nix CI #12517: Pull request #3876 synchronize by nomeata
April 11, 2024 21:47 21m 55s joachim/nat.toString
joachim/nat.toString
April 11, 2024 21:47 21m 55s
perf: faster Nat.repr implementation in C Check for modules that should use `prelude` #1006: Pull request #3876 synchronize by nomeata
April 11, 2024 21:47 16s joachim/nat.toString
joachim/nat.toString
April 11, 2024 21:47 16s
perf: faster Nat.repr implementation in C Check PR title for commit convention #3536: Pull request #3876 synchronize by nomeata
April 11, 2024 21:47 11s joachim/nat.toString
joachim/nat.toString
April 11, 2024 21:47 11s
perf: faster Nat.repr implementation in C Check for copyright header #1161: Pull request #3876 synchronize by nomeata
April 11, 2024 21:47 24s joachim/nat.toString
joachim/nat.toString
April 11, 2024 21:47 24s
perf: faster Nat.repr implementation in C CI #15507: Pull request #3876 synchronize by nomeata
April 11, 2024 21:47 16m 9s joachim/nat.toString
joachim/nat.toString
April 11, 2024 21:47 16m 9s
perf: faster Nat.repr implementation in C Label PR based on Comment #3431: Issue comment #3876 (comment) created by nomeata
April 11, 2024 21:46 2s
April 11, 2024 21:46 2s
perf: faster Nat.repr implementation in C Label PR based on Comment #3430: Issue comment #3876 (comment) created by nomeata
April 11, 2024 21:44 2s
April 11, 2024 21:44 2s
PR release PR release #5867: completed by github-merge-queue bot
April 11, 2024 17:26 2s
April 11, 2024 17:26 2s
PR release PR release #5866: completed by nomeata
April 11, 2024 17:11 1m 59s
April 11, 2024 17:11 1m 59s
PR release PR release #5865: completed by nomeata
April 11, 2024 17:10 2m 7s
April 11, 2024 17:10 2m 7s
doc: docstrings for Alternative Check PR title for commit convention #3535: Pull request #3860 synchronize by nomeata
April 11, 2024 16:56 10s joachim/docs-alternative
joachim/docs-alternative
April 11, 2024 16:56 10s
doc: docstrings for Alternative Check for modules that should use `prelude` #1005: Pull request #3860 synchronize by nomeata
April 11, 2024 16:56 12s joachim/docs-alternative
joachim/docs-alternative
April 11, 2024 16:56 12s
doc: docstrings for Alternative Check for copyright header #1160: Pull request #3860 synchronize by nomeata
April 11, 2024 16:56 27s joachim/docs-alternative
joachim/docs-alternative
April 11, 2024 16:56 27s
doc: docstrings for Alternative Nix CI #12516: Pull request #3860 synchronize by nomeata
April 11, 2024 16:56 14m 43s joachim/docs-alternative
joachim/docs-alternative
April 11, 2024 16:56 14m 43s
doc: docstrings for Alternative CI #15506: Pull request #3860 synchronize by nomeata
April 11, 2024 16:56 15m 6s joachim/docs-alternative
joachim/docs-alternative
April 11, 2024 16:56 15m 6s
doc: docstrings for List.head/tail/getLast variants Check PR title for commit convention #3534: Pull request #3864 synchronize by nomeata
April 11, 2024 16:55 12s joachim/docs-head
joachim/docs-head
April 11, 2024 16:55 12s
doc: docstrings for List.head/tail/getLast variants Check for modules that should use `prelude` #1004: Pull request #3864 synchronize by nomeata
April 11, 2024 16:55 13s joachim/docs-head
joachim/docs-head
April 11, 2024 16:55 13s
doc: docstrings for List.head/tail/getLast variants Check for copyright header #1159: Pull request #3864 synchronize by nomeata
April 11, 2024 16:55 24s joachim/docs-head
joachim/docs-head
April 11, 2024 16:55 24s
doc: docstrings for List.head/tail/getLast variants Nix CI #12515: Pull request #3864 synchronize by nomeata
April 11, 2024 16:55 13m 35s joachim/docs-head
joachim/docs-head
April 11, 2024 16:55 13m 35s
doc: docstrings for List.head/tail/getLast variants CI #15505: Pull request #3864 synchronize by nomeata
April 11, 2024 16:55 15m 7s joachim/docs-head
joachim/docs-head
April 11, 2024 16:55 15m 7s
PR release PR release #5864: completed by github-merge-queue bot
April 11, 2024 16:45 1s
April 11, 2024 16:45 1s
doc: doc-string for Ord and Ord.compare (#3861) Nix CI #12514: Commit cd02ad7 pushed by github-merge-queue bot
April 11, 2024 16:44 14m 17s master
master
April 11, 2024 16:44 14m 17s