Skip to content

Actions: leanprover/lean4

Actions

Check for copyright header

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
copyright-header.yml
5,191 workflow runs
5,191 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

perf: do not lint unused variables defined in tactics by default Check for copyright header #5120: Pull request #5338 synchronize by Kha
October 1, 2024 15:26 24s Kha:unused-in-tactics
Kha:unused-in-tactics
October 1, 2024 15:26 24s
fix: use MessageData.tagged to mark maxHeartbeat exceptions Check for copyright header #5119: Pull request #5566 synchronize by eric-wieser
October 1, 2024 15:18 25s eric-wieser:patch-22
eric-wieser:patch-22
October 1, 2024 15:18 25s
feat: generalize the bv_normalize pipeline to support more general preprocessing passes Check for copyright header #5118: Pull request #5568 opened by hargoniX
October 1, 2024 15:11 25s hbv/bv_normalize_partial
hbv/bv_normalize_partial
October 1, 2024 15:11 25s
refactor: more idiomatic syntax for if h: Check for copyright header #5117: Pull request #5567 synchronize by nomeata
October 1, 2024 15:06 25s joachim/h_space
joachim/h_space
October 1, 2024 15:06 25s
fix: use MessageData.tagged to mark maxHeartbeat exceptions Check for copyright header #5116: Pull request #5566 synchronize by eric-wieser
October 1, 2024 15:05 27s eric-wieser:patch-22
eric-wieser:patch-22
October 1, 2024 15:05 27s
fix: use MessageData.tagged to mark maxHeartbeat exceptions Check for copyright header #5115: Pull request #5566 synchronize by eric-wieser
October 1, 2024 15:04 23s eric-wieser:patch-22
eric-wieser:patch-22
October 1, 2024 15:04 23s
refactor: more idiomatic syntax for if h: Check for copyright header #5114: Pull request #5567 synchronize by nomeata
October 1, 2024 14:54 27s joachim/h_space
joachim/h_space
October 1, 2024 14:54 27s
refactor: more idiomatic syntax for if h: Check for copyright header #5113: Pull request #5567 synchronize by nomeata
October 1, 2024 14:52 27s joachim/h_space
joachim/h_space
October 1, 2024 14:52 27s
perf: do not lint unused variables defined in tactics by default Check for copyright header #5112: Pull request #5338 synchronize by Kha
October 1, 2024 14:52 24s Kha:unused-in-tactics
Kha:unused-in-tactics
October 1, 2024 14:52 24s
refactor: more idiomatic syntax for if h: Check for copyright header #5111: Pull request #5567 synchronize by nomeata
October 1, 2024 14:50 25s joachim/h_space
joachim/h_space
October 1, 2024 14:50 25s
refactor: more idiomatic syntax for if h: Check for copyright header #5110: Pull request #5567 opened by nomeata
October 1, 2024 14:48 25s joachim/h_space
joachim/h_space
October 1, 2024 14:48 25s
fix: use MessageData.tagged to mark maxHeartbeat exceptions Check for copyright header #5109: Pull request #5566 synchronize by eric-wieser
October 1, 2024 14:48 23s eric-wieser:patch-22
eric-wieser:patch-22
October 1, 2024 14:48 23s
fix: use MessageData.tagged to mark maxHeartbeat exceptions Check for copyright header #5108: Pull request #5566 synchronize by eric-wieser
October 1, 2024 14:37 22s eric-wieser:patch-22
eric-wieser:patch-22
October 1, 2024 14:37 22s
fix: use MessageData.tagged to mark maxHeartbeat exceptions Check for copyright header #5107: Pull request #5566 opened by eric-wieser
October 1, 2024 14:32 24s eric-wieser:patch-22
eric-wieser:patch-22
October 1, 2024 14:32 24s
fix: remove non-conforming size-0 arrays Check for copyright header #5106: Pull request #5564 opened by eric-wieser
October 1, 2024 13:51 23s eric-wieser:patch-21
eric-wieser:patch-21
October 1, 2024 13:51 23s
fix: getFunInfo, inferType to use withAtLeastTransparency, not withTransparency Check for copyright header #5105: Pull request #5563 opened by nomeata
October 1, 2024 13:29 26s joachim/getFunInfo-transparency
joachim/getFunInfo-transparency
October 1, 2024 13:29 26s
fix: call hierarchy into (builtin_)initialize Check for copyright header #5104: Pull request #5560 opened by Kha
October 1, 2024 11:58 23s Kha:push-rwmxkvwszyvw
Kha:push-rwmxkvwszyvw
October 1, 2024 11:58 23s
doc: simplify one step in installation instructions Check for copyright header #5103: Pull request #5559 opened by fpvandoorn
October 1, 2024 11:50 23s fpvandoorn:installation-simplification
fpvandoorn:installation-simplification
October 1, 2024 11:50 23s
fix: make lean.h compile with MSVC Check for copyright header #5102: Pull request #5558 opened by kant2002
October 1, 2024 11:38 24s kant2002:patch-1
kant2002:patch-1
October 1, 2024 11:38 24s
feat: expand invalid projection type inference error Check for copyright header #5101: Pull request #5556 opened by nomeata
October 1, 2024 11:21 23s joachim/infer-projection-error
joachim/infer-projection-error
October 1, 2024 11:21 23s
feat: add Bitvec.[add, sub, mul]_eq_xor and width_one_cases Check for copyright header #5100: Pull request #5554 synchronize by luisacicolini
October 1, 2024 11:06 26s opencompl:add-sub-mul-(xor)
opencompl:add-sub-mul-(xor)
October 1, 2024 11:06 26s
feat: add Bitvec.[add, sub, mul]_eq_xor and width_one_cases Check for copyright header #5099: Pull request #5554 synchronize by luisacicolini
October 1, 2024 10:58 24s opencompl:add-sub-mul-(xor)
opencompl:add-sub-mul-(xor)
October 1, 2024 10:58 24s
feat: add Bitvec.[add, sub, mul]_eq_xor and width_one_cases Check for copyright header #5098: Pull request #5554 synchronize by luisacicolini
October 1, 2024 10:58 26s opencompl:add-sub-mul-(xor)
opencompl:add-sub-mul-(xor)
October 1, 2024 10:58 26s
feat: add Bitvec.[add, sub, mul]_eq_xor and width_one_cases Check for copyright header #5097: Pull request #5554 synchronize by luisacicolini
October 1, 2024 10:58 24s opencompl:add-sub-mul-(xor)
opencompl:add-sub-mul-(xor)
October 1, 2024 10:58 24s
feat: add Bitvec.[add, sub, mul]_eq_xor and width_one_cases Check for copyright header #5096: Pull request #5554 synchronize by luisacicolini
October 1, 2024 10:58 27s opencompl:add-sub-mul-(xor)
opencompl:add-sub-mul-(xor)
October 1, 2024 10:58 27s