Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
70,664 workflow run results
70,664 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: pp.exprSizes debugging option Label PR based on Comment #6207: Issue comment #5218 (comment) created by leanprover-community-mathlib4-bot
August 30, 2024 12:03 2s
August 30, 2024 12:03 2s
PR release PR release #11428: completed by Kha
August 30, 2024 12:00 2m 57s
August 30, 2024 12:00 2m 57s
feat: pp.exprSizes debugging option CI #20888: Pull request #5218 opened by Kha
August 30, 2024 11:45 15m 36s Kha:pp.exprSizes
Kha:pp.exprSizes
August 30, 2024 11:45 15m 36s
feat: pp.exprSizes debugging option Nix CI #17744: Pull request #5218 opened by Kha
August 30, 2024 11:45 17m 53s Kha:pp.exprSizes
Kha:pp.exprSizes
August 30, 2024 11:45 17m 53s
feat: pp.exprSizes debugging option Check PR title for commit convention #8359: Pull request #5218 opened by Kha
August 30, 2024 11:45 18s Kha:pp.exprSizes
Kha:pp.exprSizes
August 30, 2024 11:45 18s
feat: pp.exprSizes debugging option Check for modules that should use `prelude` #4131: Pull request #5218 opened by Kha
August 30, 2024 11:45 13s Kha:pp.exprSizes
Kha:pp.exprSizes
August 30, 2024 11:45 13s
feat: pp.exprSizes debugging option Check for stage0 changes #3798: Pull request #5218 opened by Kha
August 30, 2024 11:45 30s Kha:pp.exprSizes
Kha:pp.exprSizes
August 30, 2024 11:45 30s
feat: pp.exprSizes debugging option Check for copyright header #4286: Pull request #5218 opened by Kha
August 30, 2024 11:45 27s Kha:pp.exprSizes
Kha:pp.exprSizes
August 30, 2024 11:45 27s
chore: use text-variant of ✝︎ Label PR based on Comment #6206: Issue comment #5174 (comment) created by nomeata
August 30, 2024 10:33 11s
August 30, 2024 10:33 11s
chore: use text-variant of ✝︎ Restart by label #959: Pull request #5174 labeled by nomeata
August 30, 2024 10:33 3s
August 30, 2024 10:33 3s
chore: use text-variant of ✝︎ Backport #3881: Pull request #5174 labeled by nomeata
August 30, 2024 10:33 3s
August 30, 2024 10:33 3s
fix: do not ban .. with a . on the next line Label PR based on Comment #6205: Issue comment #4768 (comment) created by eric-wieser
August 30, 2024 09:55 3s
August 30, 2024 09:55 3s
PR release PR release #11427: completed by github-merge-queue bot
August 30, 2024 09:51 2s
August 30, 2024 09:51 2s
fix: BitVec benchmark after renaming of getLsb Backport #3880: Pull request #5217 closed by hargoniX
August 30, 2024 09:30 14s
August 30, 2024 09:30 14s
fix: BitVec benchmark after renaming of getLsb (#5217) CI #20887: Commit 648239c pushed by github-merge-queue bot
August 30, 2024 09:30 20m 19s master
master
August 30, 2024 09:30 20m 19s
fix: BitVec benchmark after renaming of getLsb (#5217) Update stage0 #1529: Commit 648239c pushed by github-merge-queue bot
August 30, 2024 09:30 22s master
master
August 30, 2024 09:30 22s
fix: BitVec benchmark after renaming of getLsb (#5217) Nix CI #17743: Commit 648239c pushed by github-merge-queue bot
August 30, 2024 09:30 7m 10s master
master
August 30, 2024 09:30 7m 10s
PR release PR release #11426: completed by hargoniX
August 30, 2024 09:30 3s
August 30, 2024 09:30 3s
fix: BitVec benchmark after renaming of getLsb Label PR based on Comment #6204: Issue comment #5217 (comment) created by leanprover-community-mathlib4-bot
August 30, 2024 09:11 2s
August 30, 2024 09:11 2s
CI CI #20886: Merge group checks requested
August 30, 2024 09:08 21m 46s
August 30, 2024 09:08 21m 46s
Check PR title for commit convention Check PR title for commit convention #8358: Merge group checks requested
August 30, 2024 09:08 12s
August 30, 2024 09:08 12s
Actionlint Actionlint #1939: Merge group checks requested
August 30, 2024 09:08 26s
August 30, 2024 09:08 26s
Check for stage0 changes Check for stage0 changes #3797: Merge group checks requested
August 30, 2024 09:08 26s
August 30, 2024 09:08 26s
Nix CI Nix CI #17742: Merge group checks requested
August 30, 2024 09:08 7m 6s
August 30, 2024 09:08 7m 6s
PR release PR release #11425: completed by hargoniX
August 30, 2024 09:08 3m 21s
August 30, 2024 09:08 3m 21s