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,186 workflow runs
5,186 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: add bv_toNat tag for toNat_ofInt Check for copyright header #5190: Pull request #5608 synchronize by bollu
October 3, 2024 17:30 33s opencompl:bv-toNat-missing-tags
opencompl:bv-toNat-missing-tags
October 3, 2024 17:30 33s
feat: lemmas for Bitvector division when denominator is zero Check for copyright header #5189: Pull request #5609 opened by bollu
October 3, 2024 17:13 35s opencompl:udiv-denom-zero-lemmas
opencompl:udiv-denom-zero-lemmas
October 3, 2024 17:13 35s
chore: add bv_toNat tag for toNat_ofInt Check for copyright header #5188: Pull request #5608 opened by bollu
October 3, 2024 15:55 34s opencompl:bv-toNat-missing-tags
opencompl:bv-toNat-missing-tags
October 3, 2024 15:55 34s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check for copyright header #5187: Pull request #5604 synchronize by luisacicolini
October 3, 2024 14:39 33s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 14:39 33s
perf: remove List.redLength Check for copyright header #5186: Pull request #5605 synchronize by hargoniX
October 3, 2024 14:35 34s hbv/redlength
hbv/redlength
October 3, 2024 14:35 34s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check for copyright header #5185: Pull request #5604 synchronize by luisacicolini
October 3, 2024 12:59 34s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 12:59 34s
perf: remove List.redLength Check for copyright header #5184: Pull request #5605 opened by hargoniX
October 3, 2024 11:47 31s hbv/redlength
hbv/redlength
October 3, 2024 11:47 31s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check for copyright header #5183: Pull request #5604 synchronize by luisacicolini
October 3, 2024 10:24 33s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 10:24 33s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check for copyright header #5182: Pull request #5604 synchronize by luisacicolini
October 3, 2024 10:22 39s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 10:22 39s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check for copyright header #5181: Pull request #5604 synchronize by luisacicolini
October 3, 2024 10:18 32s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 10:18 32s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check for copyright header #5180: Pull request #5604 synchronize by luisacicolini
October 3, 2024 10:09 34s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 10:09 34s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check for copyright header #5179: Pull request #5604 synchronize by luisacicolini
October 3, 2024 08:47 31s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 08:47 31s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check for copyright header #5178: Pull request #5604 synchronize by luisacicolini
October 3, 2024 08:37 34s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 08:37 34s
feat: complete BitVec.[getMsbD|getLsbD|msb] for shifts Check for copyright header #5177: Pull request #5604 opened by luisacicolini
October 3, 2024 08:27 32s opencompl:shift-msb-lsb
opencompl:shift-msb-lsb
October 3, 2024 08:27 32s
feat: Array/Option.unattach Check for copyright header #5176: Pull request #5586 synchronize by kim-em
October 3, 2024 07:06 37s unattach_option
unattach_option
October 3, 2024 07:06 37s
feat: Array/Option.unattach Check for copyright header #5175: Pull request #5586 synchronize by kim-em
October 3, 2024 07:02 35s unattach_option
unattach_option
October 3, 2024 07:02 35s
feat: adding Insert/Singleton/Union instances for HashMap/Set.Raw Check for copyright header #5174: Pull request #5590 synchronize by kim-em
October 3, 2024 06:05 23s raw_instances
raw_instances
October 3, 2024 06:05 23s
feat: adding Insert/Singleton/Union instances for HashMap/Set.Raw Check for copyright header #5173: Pull request #5590 synchronize by kim-em
October 3, 2024 06:03 26s raw_instances
raw_instances
October 3, 2024 06:03 26s
feat: Array/Option.unattach Check for copyright header #5172: Pull request #5586 synchronize by kim-em
October 3, 2024 06:02 24s unattach_option
unattach_option
October 3, 2024 06:02 24s
chore: typo in fix-pr-release.yml Check for copyright header #5171: Pull request #5601 opened by kim-em
October 2, 2024 22:47 23s fix-pr-release2
fix-pr-release2
October 2, 2024 22:47 23s
refactor: reduce Reservoir build fetch attempts & warnings Check for copyright header #5170: Pull request #5600 opened by tydeu
October 2, 2024 22:40 26s tydeu:lake/build-fetch-less
tydeu:lake/build-fetch-less
October 2, 2024 22:40 26s
chore: fix spelling mistakes Check for copyright header #5169: Pull request #5599 opened by euprunin
October 2, 2024 21:13 27s euprunin:october-typos
euprunin:october-typos
October 2, 2024 21:13 27s
perf: do not lint unused variables defined in tactics by default Check for copyright header #5168: Pull request #5338 synchronize by Kha
October 2, 2024 11:42 23s Kha:unused-in-tactics
Kha:unused-in-tactics
October 2, 2024 11:42 23s
chore: induction-friendly List.min?_cons Check for copyright header #5167: Pull request #5594 synchronize by TwoFX
October 2, 2024 10:52 25s list-min-cons
list-min-cons
October 2, 2024 10:52 25s
chore: induction-friendly List.min?_cons Check for copyright header #5166: Pull request #5594 synchronize by TwoFX
October 2, 2024 10:50 24s list-min-cons
list-min-cons
October 2, 2024 10:50 24s