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,050 workflow runs
2,050 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: stack overflow at mkBinding if type occurs check fails Check PR body for changelog convention #425: Pull request #6079 converted_to_draft by JovanGerb
November 14, 2024 15:05 16s JovanGerb:stackOverflow
JovanGerb:stackOverflow
November 14, 2024 15:05 16s
fix: stack overflow at mkBinding if type occurs check fails Check PR body for changelog convention #424: Pull request #6079 opened by JovanGerb
November 14, 2024 15:05 18s JovanGerb:stackOverflow
JovanGerb:stackOverflow
November 14, 2024 15:05 18s
Check PR body for changelog convention Check PR body for changelog convention #423: Merge group checks requested
November 14, 2024 14:04 12s
November 14, 2024 14:04 12s
feat: add date and time functionality Check PR body for changelog convention #422: Pull request #4904 edited by algebraic-dev
November 14, 2024 13:02 13s algebraic-dev:master
algebraic-dev:master
November 14, 2024 13:02 13s
feat: add date and time functionality Check PR body for changelog convention #421: Pull request #4904 synchronize by algebraic-dev
November 14, 2024 12:44 10s algebraic-dev:master
algebraic-dev:master
November 14, 2024 12:44 10s
perf: simp_arith: faster denote through Lean.RArray Check PR body for changelog convention #420: Pull request #6068 ready_for_review by nomeata
November 14, 2024 11:32 10s joachim/RArray
joachim/RArray
November 14, 2024 11:32 10s
perf: simp_arith: faster denote through Lean.RArray Check PR body for changelog convention #419: Pull request #6068 synchronize by nomeata
November 14, 2024 11:31 11s joachim/RArray
joachim/RArray
November 14, 2024 11:31 11s
perf: simp_arith: faster denote through Lean.RArray Check PR body for changelog convention #418: Pull request #6068 synchronize by nomeata
November 14, 2024 11:30 13s joachim/RArray
joachim/RArray
November 14, 2024 11:30 13s
perf: simp_arith: faster denote through Lean.RArray Check PR body for changelog convention #417: Pull request #6068 edited by nomeata
November 14, 2024 11:30 10s joachim/RArray
joachim/RArray
November 14, 2024 11:30 10s
perf: simp_arith: faster denote through Lean.RArray Check PR body for changelog convention #416: Pull request #6068 labeled by nomeata
November 14, 2024 11:29 9s joachim/RArray
joachim/RArray
November 14, 2024 11:29 9s
perf: simp_arith: faster denote through Lean.RArray Check PR body for changelog convention #415: Pull request #6068 synchronize by nomeata
November 14, 2024 11:29 10s joachim/RArray
joachim/RArray
November 14, 2024 11:29 10s
Check PR body for changelog convention Check PR body for changelog convention #414: Merge group checks requested
November 14, 2024 10:57 10s
November 14, 2024 10:57 10s
Check PR body for changelog convention Check PR body for changelog convention #413: Merge group checks requested
November 14, 2024 10:40 11s
November 14, 2024 10:40 11s
feat: Lean.RArray Check PR body for changelog convention #412: Pull request #6070 synchronize by nomeata
November 14, 2024 10:35 11s joachim/RArray-def
joachim/RArray-def
November 14, 2024 10:35 11s
Check PR body for changelog convention Check PR body for changelog convention #411: Merge group checks requested
November 14, 2024 10:19 11s
November 14, 2024 10:19 11s
Check PR body for changelog convention Check PR body for changelog convention #410: Merge group checks requested
November 14, 2024 10:12 8s
November 14, 2024 10:12 8s
feat: add options to configure all of bv_decide's preprocessing Check PR body for changelog convention #409: Pull request #6077 labeled by leanprover-community-bot
November 14, 2024 10:07 11s hbv/bv_decide_pass_options
hbv/bv_decide_pass_options
November 14, 2024 10:07 11s
perf: make andFlattening work on deeply nested hyps in one pass Check PR body for changelog convention #408: Pull request #6075 labeled by leanprover-community-bot
November 14, 2024 09:54 17s hbv/bv_decide_fast_and_flattening
hbv/bv_decide_fast_and_flattening
November 14, 2024 09:54 17s
feat: Lean.RArray Check PR body for changelog convention #407: Pull request #6070 synchronize by nomeata
November 14, 2024 09:54 18s joachim/RArray-def
joachim/RArray-def
November 14, 2024 09:54 18s
feat: Lean.RArray Check PR body for changelog convention #406: Pull request #6070 edited by nomeata
November 14, 2024 09:53 13s joachim/RArray-def
joachim/RArray-def
November 14, 2024 09:53 13s
Check PR body for changelog convention Check PR body for changelog convention #405: Merge group checks requested
November 14, 2024 09:22 12s
November 14, 2024 09:22 12s
fix: validate atoms modulo leading and trailing whitespace Check PR body for changelog convention #404: Pull request #6012 labeled by david-christiansen
November 14, 2024 09:21 12s david-christiansen:atom-validation-ws
david-christiansen:atom-validation-ws
November 14, 2024 09:21 12s
feat: IO.getTID Check PR body for changelog convention #403: Pull request #6049 labeled by Kha
November 14, 2024 09:20 10s Kha:push-ryrsozvwnkyw
Kha:push-ryrsozvwnkyw
November 14, 2024 09:20 10s
feat: IO.getTID Check PR body for changelog convention #402: Pull request #6049 synchronize by Kha
November 14, 2024 09:19 15s Kha:push-ryrsozvwnkyw
Kha:push-ryrsozvwnkyw
November 14, 2024 09:19 15s
Check PR body for changelog convention Check PR body for changelog convention #401: Merge group checks requested
November 14, 2024 09:09 10s
November 14, 2024 09:09 10s
ProTip! You can narrow down the results and go further in time using created:<2024-11-14 or the other filters available.