Skip to content

Actions: leanprover/lean4

Actions

Check PR body for changelog convention

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-body.yml
2,143 workflow run results
2,143 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: replace List.lt with List.Lex Check PR body for changelog convention #2143: Pull request #6379 labeled by leanprover-community-bot
December 14, 2024 23:54 15s lex_prime
lex_prime
December 14, 2024 23:54 15s
fix: revertAll must clear auxiliary declarations Check PR body for changelog convention #2141: Pull request #6386 labeled by leodemoura
December 14, 2024 23:40 9s issue_6263
issue_6263
December 14, 2024 23:40 9s
fix: revertAll must clear auxiliary declarations Check PR body for changelog convention #2142: Pull request #6386 opened by leodemoura
December 14, 2024 23:40 10s issue_6263
issue_6263
December 14, 2024 23:40 10s
Check PR body for changelog convention Check PR body for changelog convention #2140: Merge group checks requested
December 14, 2024 23:13 7s
December 14, 2024 23:13 7s
fix: simp_all? local declarations Check PR body for changelog convention #2139: Pull request #6385 opened by leodemoura
December 14, 2024 22:54 9s issue_3519
issue_3519
December 14, 2024 22:54 9s
fix: simp_all? local declarations Check PR body for changelog convention #2138: Pull request #6385 labeled by leodemoura
December 14, 2024 22:54 11s issue_3519
issue_3519
December 14, 2024 22:54 11s
feat: replace List.lt with List.Lex Check PR body for changelog convention #2137: Pull request #6379 labeled by leanprover-community-bot
December 14, 2024 22:33 13s lex_prime
lex_prime
December 14, 2024 22:33 13s
Check PR body for changelog convention Check PR body for changelog convention #2136: Merge group checks requested
December 14, 2024 22:12 12s
December 14, 2024 22:12 12s
feat: replace List.lt with List.Lex Check PR body for changelog convention #2135: Pull request #6379 synchronize by kim-em
December 14, 2024 22:07 13s lex_prime
lex_prime
December 14, 2024 22:07 13s
test: add test for issue #4585 Check PR body for changelog convention #2133: Pull request #6384 labeled by leodemoura
December 14, 2024 21:53 9s issue_4585
issue_4585
December 14, 2024 21:53 9s
test: add test for issue #4585 Check PR body for changelog convention #2134: Pull request #6384 opened by leodemoura
December 14, 2024 21:53 12s issue_4585
issue_4585
December 14, 2024 21:53 12s
Check PR body for changelog convention Check PR body for changelog convention #2132: Merge group checks requested
December 14, 2024 20:26 9s
December 14, 2024 20:26 9s
fix: new code generator must generate code for opaque declarations that are not @[extern] Check PR body for changelog convention #2131: Pull request #6383 labeled by leodemoura
December 14, 2024 20:06 10s hasValueBug
hasValueBug
December 14, 2024 20:06 10s
fix: new code generator must generate code for opaque declarations that are not @[extern] Check PR body for changelog convention #2130: Pull request #6383 opened by leodemoura
December 14, 2024 20:06 12s hasValueBug
hasValueBug
December 14, 2024 20:06 12s
chore: add gitpod configuration Check PR body for changelog convention #2129: Pull request #6382 ready_for_review by eric-wieser
December 14, 2024 19:06 8s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 19:06 8s
chore: add gitpod configuration Check PR body for changelog convention #2128: Pull request #6382 edited by eric-wieser
December 14, 2024 19:06 10s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 19:06 10s
chore: add gitpod configuration Check PR body for changelog convention #2127: Pull request #6382 edited by eric-wieser
December 14, 2024 19:06 9s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 19:06 9s
chore: add gitpod configuration Check PR body for changelog convention #2126: Pull request #6382 edited by eric-wieser
December 14, 2024 19:05 13s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 19:05 13s
chore: add gitpod configuration Check PR body for changelog convention #2125: Pull request #6382 synchronize by eric-wieser
December 14, 2024 19:04 11s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 19:04 11s
chore: add gitpod configuration Check PR body for changelog convention #2124: Pull request #6382 edited by eric-wieser
December 14, 2024 19:00 12s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 19:00 12s
chore: add gitpod configuration Check PR body for changelog convention #2123: Pull request #6382 synchronize by eric-wieser
December 14, 2024 18:51 10s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 18:51 10s
chore: add gitpod configuration Check PR body for changelog convention #2122: Pull request #6382 synchronize by eric-wieser
December 14, 2024 18:44 8s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 18:44 8s
chore: add gitpod configuration Check PR body for changelog convention #2121: Pull request #6382 synchronize by eric-wieser
December 14, 2024 18:36 12s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 18:36 12s
chore: add gitpod configuration Check PR body for changelog convention #2120: Pull request #6382 synchronize by eric-wieser
December 14, 2024 18:27 11s eric-wieser:gitpod
eric-wieser:gitpod
December 14, 2024 18:27 11s
Check PR body for changelog convention Check PR body for changelog convention #2119: Merge group checks requested
December 14, 2024 18:23 8s
December 14, 2024 18:23 8s